let
transcript_table_for_intruder = (
Hashtbl
.create 600 : ((string * string), string)
Hashtbl
.t)