sig
  val check : int -> int -> int -> int -> unit
  val error : (unit -> unit) Pervasives.ref
end