listener (pstruct -w ., p_program_state -&w ., p_msg -&w msg)
      if (msg->message == WM_BIND_LOCAL_STATE)
{
  local_state[0][0] = LS/FIELD_OFFSET, local_state[0][1] = (int) msg->mp1,
  {
    int[][2] local_state = get_pointer (&_, msg->local_state, T_ARRAY, int, AC_WRITE)
  };
}
