pub const DEBUG_ENGOPT_NO_EXECUTE_REPEAT: u32 = 256u32;