Symbol: decode_asi