# process_message (p_thread_state state, p_received_message message)
{
  select ()
  {
    case message->id == 0:       return ERR_MESSAGE_ID;
    case state->dirty_flag != 0: return ERR_PROGRAM_STATE;
  }
  else
  {
    return .;
  }
}