*** load all.m
load ../ALL/all-ether.m

*** level specific
load sp1.m       ***  SSP1  CSP1
load ../L0/csptk0.m     *** CSPTK0 == CSPTK1
load sptk1.m     ***  SSPTK1


mod TEST1-ETHER is
  inc TEST-ETHER .
  inc CSP1 .
  inc SSP1 .
  inc CSPTK0 .
  inc SSPTK1 .
  

  eq sptkobs =
     < (JS . ssptk) : SSPTK1 | lookup(JL . lup), idle > 
  .

  eq cptkobs =
     < (JC . csptk) : CSPTK0 | lookup(JL . lup), clientId("sam"), idle > 
  .

  eq aptkobs = 
***     < (JA .  csptk) : CSPTK0 | lookup(JL . lup), clientId(fakeId), idle > .
     < (JA .  csptk) : CSPTK0 | lookup(JL . lup), clientId("sam"), idle > .

endm

***(

 rew eecf sjcf ljcf cjcf  .
 rew eacf sjcf ljcf cjcf  .

 rew eecf sjcf ljcf cjcf ajcf .
 rew eacf sjcf ljcf cjcf ajcf .
)

