mutable
encoding : string option = enc