TUTF8String
TE_EXPLICIT, new_type(TUTF8String));
TE_EXPLICIT, new_type(TUTF8String));
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
case TUTF8String:
{ TUTF8String, utf8string_symbol, 0 },
case TUTF8String: