typedef_type_identifier_attr_attr
typedef_type_identifier_attr_attr typedef_type_identifier_attr_attr;
u128 = s.typedef_type_identifier_attr_attr << 80;