DEFINITION MODULE Externals;

EXPORT QUALIFIED ExternalLoad, ExternalStore;

PROCEDURE ExternalLoad (instruction : CARDINAL);
PROCEDURE ExternalStore (instruction : CARDINAL);
END Externals.
