atype_fn_len
case atype_fn_len:
assert(a->type != atype_fn_len);
assert(a->type != atype_fn_len);
assert(a->type == atype_fn_len);
atype_fn_len, 0, 0, ENCFN, \
atype_fn_len, 0, 0, ENCFN, \