new read_encoder()