state >>
  ...
;

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

process = state msg HTTP_GET @store ->
  ...
_
  state : _
;

process = state msg HTTP_POST @store ->
  ...
_
  state : _
;

process = state msg INT_RQ @store ->
  - store st
  ' st = state [ msg.id != INT_RESTART ] | .
_
  state : _
;

process = state msg . @store -> <>