atype_nonempty_nullterm_sequence_of
case atype_nonempty_nullterm_sequence_of:
assert(a->type != atype_nonempty_nullterm_sequence_of);
case atype_nonempty_nullterm_sequence_of:
case atype_nonempty_nullterm_sequence_of:
case atype_nonempty_nullterm_sequence_of:
case atype_nonempty_nullterm_sequence_of: {
case atype_nonempty_nullterm_sequence_of:
atype_nonempty_nullterm_sequence_of, \