atype_nullterm_sequence_of
case atype_nullterm_sequence_of:
a->type == atype_nullterm_sequence_of,
atype_nullterm_sequence_of, sizeof(aux_typedefname_##DESCNAME), \