Constant VDMDBG_MAX_SYMBOL_BUFFER 

pub const VDMDBG_MAX_SYMBOL_BUFFER: u32 = 256u32;