mutable encoding : string option = enc