sig val encode : string -> string val decode : string -> string end