Constant debug_bits_DBG_WITNESS 

pub const debug_bits_DBG_WITNESS: debug_bits = 10;