pub const VDMDBG_TRACE_HISTORY: u32 = 128u32;