const OPTIMIZATION_ATTRIBUTES: [(ArgAttribute, AttributeKind); 5];