atype_nonempty_nullterm_sequence_of
case atype_nonempty_nullterm_sequence_of:
atype_nonempty_nullterm_sequence_of, \