Symbol: decode_sequence_of