MODULE find;
CONST   size=3;

CONFIGURATION  field[1..size],[1..size];
CONNECTION right: field[i,j] -> field[i, j+1];
           left : field[i,j] -> field[i, j-1];
           up   : field[i,j] -> field[i+1, j];
           down : field[i,j] -> field[i-1, j];

VAR i             : INTEGER;
    value, buffer : field OF INTEGER;

BEGIN 
  value := ID(field);

  FOR i := 1 TO size-1  DO
    buffer := MOVE.left(value);
    IF buffer > value THEN value := buffer END;
  END ; (* FOR *)

  FOR i := 1 TO size-1  DO
    buffer := MOVE.down(value);
    IF buffer > value THEN value := buffer END;
  END ; (* FOR *)

  i := value<:1,1:>;
  WriteInt(i,10); WriteLn;
END find.