Constant VDMDBG_TRACE_HISTORY

pub const VDMDBG_TRACE_HISTORY: u32 = 128u32;