typedef_type_attr_identifier
typedef_type_attr_identifier typedef_type_attr_identifier;
u128 = s.typedef_type_attr_identifier << 80;