Bap_traces
module Unix = Caml_unix
module KB = Bap_knowledge.Knowledge
module Std : sig ... end
Traces of execution.