IMPLEMENTATION MODULE inserttok ;

(* Hit this problem in a definition module *)

END inserttok.