DEBUG_EXECUTE_DEFAULT

Constant DEBUG_EXECUTE_DEFAULT 

pub const DEBUG_EXECUTE_DEFAULT: u32 = 0u32;