let
intruder_knowledge = (ref [] : string list
Pervasives
.ref)