typedef_type_identifier
typedef_type_identifier typedef_type_identifier;
u128 = s.typedef_type_identifier << 80;