Symbol: encode_sequence