method set_encoding e = encoding <- e