pub const TYPE_INT2: BuiltinType<NameReference>;