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