typedef_attr_attr_type_identifier
typedef_attr_attr_type_identifier typedef_attr_attr_type_identifier;
u128 = s.typedef_attr_attr_type_identifier << 80;