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