Constant DEBUG_EXECUTE_ECHO

pub const DEBUG_EXECUTE_ECHO: u32 = 1u32;