DEFINITION MODULE LoadStore;

EXPORT QUALIFIED SimpleLoads, SimpleStores, LocalOffset;

PROCEDURE SimpleLoads (Instruction : CARDINAL);
PROCEDURE SimpleStores (Instruction : CARDINAL);
PROCEDURE LocalOffset (Local: INTEGER) : INTEGER;
END LoadStore.
