DEFINITION MODULE Jumps;

EXPORT QUALIFIED jump,
                 RegJustLoadedOnStack,
		 AtDestOfOrJpOrAndJp,
		 DealWithBeingThere;

VAR RegJustLoadedOnStack : BOOLEAN;

PROCEDURE jump (instruction : CARDINAL);
PROCEDURE AtDestOfOrJpOrAndJp () : BOOLEAN;
PROCEDURE DealWithBeingThere ();
END Jumps.
