Constant DBT_STATS 

pub const DBT_STATS: &str = "dbt-stats.bin";

The DBT backend’s typed whole-process statistics stream, as DynamoRIO’s client wrote it (Reverie decodes it; backends::require_dbt_stats applies verification policy).