val encode : string -> string

val decode : string -> string