DEFINITION MODULE IndexItems;

EXPORT QUALIFIED IndexLoad, IndexStore;

PROCEDURE IndexLoad (Instruction : CARDINAL);
PROCEDURE IndexStore (Instruction : CARDINAL);
END IndexItems.
