method
set_encoding e = encoding <- e