Symbol: decode_seqof