MODULE TOpenFormal;
PROCEDURE P(a : ARRAY OF INTEGER);
BEGIN
END P;
BEGIN
END TOpenFormal.