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