msg_in (msg_queue, (pstruct -w reply, p_msg message) { 
                                                       dispatch (reply, &state, message);
                                                     }),
{
  program_state state = . 
};

