Symbol: decode_atype_to_ptr