Symbol: decode_atype