MODULE m3test EXPORTS Main;

(***************************************************************************)
(*   Author:  Stephen Harrison						   *)
(***************************************************************************)

(* $Revision: 1.3 $ *)

FROM Test IMPORT checkI, done;

PROCEDURE F (i, j: INTEGER): INTEGER =
  BEGIN
  RETURN MIN (i - 2 , j);
  END F;

BEGIN
  checkI (F (4, LAST (INTEGER)), 2);
  done ();
  
END m3test.