pub const VDMDBG_MAX_SYMBOL_BUFFER: u32 = 256u32;