Constant debug_bits_DBG_WORKSPACE 

pub const debug_bits_DBG_WORKSPACE: debug_bits = 1;