MODULE Test;

IMPORT Out;

VAR
  a : ARRAY 3 OF INTEGER;

PROCEDURE Ax(VAR x : ARRAY OF INTEGER);
BEGIN
END Ax;

BEGIN
  Out.Open;
  Ax(a);
  Out.Flush;
END Test.