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

state : program-state = . ..                                                   ++- !!!

->
  - msg-in ( msg -> 
                    - process msg msg.layer-id
           )
;
