Symbol: ec_read_sequence