DEFINITION MODULE M2Pass4PV;
FROM MCBase IMPORT Symbol;

EXPORT QUALIFIED Skip;

PROCEDURE Skip(x1, x2: Symbol);

END M2Pass4PV.
