MODULE Main; PROCEDURE P (VAR a: ARRAY OF INTEGER) = BEGIN EVAL NUMBER (a); END P; BEGIN P (); END Main.