let intruder_mode = (ref false : bool Pervasives.ref)