let is_intruder i =
  (Globals.string_id#get_name i) = intruder_name