MODULE THighLen;
(* HIGH/LEN: fixed static, open from the descriptor header. Exit 18. *)
VAR ExitCode : INTEGER;
VAR a : ARRAY [0..4] OF INTEGER;
PROCEDURE F(VAR b : ARRAY OF INTEGER) : INTEGER;
BEGIN
  RETURN LEN(b) + HIGH(b)
END F;
BEGIN
  a[0] := 0; a[1] := 1; a[2] := 2; a[3] := 3; a[4] := 4;
  ExitCode := HIGH(a) + LEN(a) + F(a)
END THighLen.