M2compiler-V3/compiler/tests/pvi.mod

IMPLEMENTATION MODULE Pvi;
PROCEDURE Add(VAR a : INTEGER; v : INTEGER);
BEGIN a := a + v END Add;
END Pvi.