sig
  val test : (int * int) list -> (int * int) list -> unit
  val default_test : unit -> unit
end