(* Test: MAX *)

MODULE Main;

VAR 
  o : OBJECT x, y: INTEGER; END;
  a, b: INTEGER;

BEGIN

o.x := MAX (o.x, o.y);
a := MAX (a, b);

END Main.