Constant VDMDBG_TRACE_HISTORY 

pub const VDMDBG_TRACE_HISTORY: u32 = 128u32;