DEBUG_EXECUTE_EXTENSION

Constant DEBUG_EXECUTE_EXTENSION 

pub const DEBUG_EXECUTE_EXTENSION: u32 = 32u32;