MODULE Main;

TYPE T = ARRAY [0..2] OF REAL;
VAR x : ARRAY [1..100] OF T;

PROCEDURE foo (x: ARRAY OF T) =
  BEGIN
    EVAL x;
  END foo;

BEGIN
  foo (x);
END Main.