#INCLUDE "hostio.inc"
#INCLUDE "/home/r2/users/georget/Phd/Defs/defs.inc"
#USE "hostio.lib"
#USE "/home/r2/users/georget/Phd/ARMstCore/ARMstCore"

PROC ARMst(CHAN OF SP fs, ts, []INT memory)

  CHAN OF BUNDLE  MemDabt0,MemDabt1,AMemDabt1, AMemDabt0, 
                  MrrDin, MrrPAbtin, MrrAin,
                  MEMad, MEMd, MEMc, MEMa

  PAR
    ARMstCore(MemDabt0,MemDabt1,AMemDabt1, AMemDabt0, 
              MrrDin, MrrPAbtin, MrrAin,
              MEMad, MEMd, MEMc, MEMa)
    --Memory()
    --...
:


    
