pub const VDMDBG_BREAK_DIVIDEBYZERO: u32 = 256u32;