pub const DEBUG_EXECUTE_NOT_LOGGED: u32 = 2u32;