Symbol: decode_seq