== init =====
init =>> d1.init   (*  :  *)
init =>> d2.init   (*  :  *)
init =>> eval1.init   (*  :  *)
== intrD =====
intrD =>> d1.step   (*  :  *)
intrD =>> d2.step   (*  :  *)
J_27_69_57.J =>> eval1.step   (*  :  *)
  eval1.stepO =>> intrD_Rdy   (*  :  *)
== intrDupd =====
intrDupd =>> eval1.upd   (*  :  *)
intrDupd =>> intrDupdDone   (*  :  *)
