program-state >>
  table : list : string <- string
;

->
  - msg-in ( msg -> 
                    - process state msg msg.layer-id ( st ->
                                                             state = st
                                                     )
           )
  ' state = . ..
;
