Symbol: ber_encode_SEQUENCE