type ctx
val init : string -> ctx
val encrypt : ctx -> string -> string
val decrypt : ctx -> string -> string