DEFINITION MODULE IntHandler;

(* not much to this, huh? *)

END IntHandler.
