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