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