type t

val create : string -> t
val out : t -> string
val frob : t -> string -> t