LOADPTR
void *ptr = LOADPTR(val, ptrinfo);
elt = LOADPTR(eltptr, ptr);
return encode_atype(buf, LOADPTR(val, ptr), ptr->basetype, tag_out);
val = LOADPTR(val, ptr);
void *ptr = LOADPTR(val, ptrinfo);
void *ptr = LOADPTR(val, ptrinfo);
void *seqptr = LOADPTR(val, ptrinfo);