MODULE  RdcTestOne;	(*  Date   :  6  August  2012    *)
	(*  Author :  Robert D Campbell  *)

IMPORT  StdLog;

TYPE
  Box  =  RECORD
            k  :  INTEGER
          END;  

PROCEDURE (VAR box : Box) Pepper, NEW;
  BEGIN
    box.k  :=  5
  END  Pepper;

PROCEDURE (IN box : Box) Salt, NEW;
  BEGIN
    box.Pepper
  END  Salt;

PROCEDURE  Do*;
  VAR
    box  :  Box;
  BEGIN
    box.k  :=  17; StdLog.Int (box.k); StdLog.Ln;
    box.Salt;      StdLog.Int (box.k); StdLog.Ln
   END  Do;

END  RdcTestOne.

    DevDebug.Unload

    RdcTestOne.Do