MODULE Main;
(* should generate warnings and then runtime errors *)
BEGIN
  EVAL NUMBER (INTEGER);
  EVAL NUMBER (CARDINAL);
END Main.