DEFINITION MODULE DOSlock;
  EXPORT QUALIFIED LockDOS, UnlockDOS;
  PROCEDURE LockDOS;
  PROCEDURE UnlockDOS;
  END DOSlock.
