sig
  val width : char -> int
  val check_two : int -> int -> int
  val check_three : int -> int -> int -> int
  val check_four : int -> int -> int -> int -> int
end