sig
  val run_main : (unit -> unit) -> 'a
  val run_highlighted : (unit -> unit) -> 'a
end