sig
  val string_of_char : char -> string
  val char_of_string : string -> char
end