attr_attr_typedef_type_identifier
attr_attr_typedef_type_identifier attr_attr_typedef_type_identifier;
u128 = s.attr_attr_typedef_type_identifier << 80;