sig
  val normalize : string -> string
  val pretty : string -> string
  val add_symbolic_dir : string -> string -> unit
end