IMPLEMENTATION MODULE SIOResult;
IMPORT IOConsts;
FROM IOConsts IMPORT notKnown;

VAR res : IOConsts.ReadResults;

PROCEDURE ReadResult () : IOConsts.ReadResults;
BEGIN
  RETURN res
END ReadResult;

PROCEDURE SetReadResult (r : IOConsts.ReadResults);
BEGIN
  res := r
END SetReadResult;

BEGIN
  res := notKnown
END SIOResult.