sig val test_suite : string -> unit val run : unit -> unit end