atype_ptr
case atype_ptr: {
case atype_ptr: {
assert(a->type == atype_ptr);
assert(eltinfo->type == atype_ptr);
case atype_ptr: {
assert(a->type == atype_ptr);
case atype_ptr: {
assert(a->type == atype_ptr);
case atype_ptr: {
case atype_ptr: {
atype_ptr, sizeof(aux_type_##DESCNAME), \
atype_ptr, sizeof(aux_type_##DESCNAME), \