sig
  val breakpoint : unit -> unit
  val restore : unit -> unit
  val clear_breakpoint : unit -> unit
end