DEFINITION MODULE Visitor;
PROCEDURE Add(VAR acc : INTEGER; v : INTEGER);
END Visitor.