M2compiler-V3/compiler/tests/pvi.def

DEFINITION MODULE Pvi;
PROCEDURE Add(VAR a : INTEGER; v : INTEGER);
END Pvi.