attr_typedef_type_identifier
attr_typedef_type_identifier attr_typedef_type_identifier;
u128 = s.attr_typedef_type_identifier << 80;