PROCEDURE Max ( i, j : INTEGER) : INTEGER;
{ return maximum of integers i and j }
BEGIN
  IF i < j THEN
    max := i;
  ELSE
    max := j;
  END;
END Max;