pub const DEBUG_EXECUTE_ECHO: u32 = 1u32;