== init =====
== step =====
step =>> a_X.prep   (*  :  *)
  a_X.prepO =>> fb.step   (*  :  *)
    fb.stepO =>> outp.put   (*  :  *)
  a_X.prepO =>> stepO   (*  :  *)
== upd =====
upd =>> outp.upd   (*  :  *)
  outp.updO =>> updO   (*  :  *)
