MODULE Refany;

PROCEDURE Compare (a, b: T): INTEGER =
(*  VAR t : T; *)
  BEGIN
    EVAL a;
    EVAL b;
(*    NEW (t); *)
    RETURN 0;
  END Compare;

BEGIN
END Refany.