DEFINITION MODULE Demo2;

PROCEDURE P(v: CARDINAL): CARDINAL;

END Demo2.