@Test
	public void testCtxMaybeHazardousFallthrough() throws Exception {
		/**
		 * For this test to produce the "MAYBE" case, the multiple paths have to be
		 * <em>internal</em> to an instruction (or inject). All that logic is only applied on an
		 * instruction-by-instruction basis.
		 */
		Translation tr = translateLang(ID_ARMv8LE, 0x00400000, """
				mov r0,#6
				mov r1,#7
				""", Map.ofEntries(
			Map.entry(0x00400000L, """
					if (!ZR) goto <skip>;
					  ISAModeSwitch = 1;
					  setISAMode(ISAModeSwitch);
					<skip>
					emu_exec_decoded();
					""")));

		tr.setLongRegVal("r1", 0); // Reset
		tr.setLongRegVal("ZR", 0);
		// Since ctx wasn't touched at runtime, we fall out of program
		tr.runDecodeErr(0x00400008);
		assertEquals(6, tr.getLongRegVal("r0"));
		assertEquals(7, tr.getLongRegVal("r1"));
		assertEquals(0, tr.getLongRegVal("ISAModeSwitch"));

		tr.setLongRegVal("r1", 0); // Reset
		tr.setLongRegVal("ZR", 1);
		// Hazard causes exit before 2nd instruction
		tr.runClean();
		assertEquals(6, tr.getLongRegVal("r0"));
		assertEquals(0, tr.getLongRegVal("r1"));
		assertEquals(1, tr.getLongRegVal("ISAModeSwitch"));
	}
Two reasons we don't reach the add: 1) It's overridden, and there's no deferral to the
decoded instruction. 2) Even if there were, we got interrupted before it executed.
Ghidra/Test/IntegrationTest/src/test.slow/java/ghidra/pcode/emu/jit/gen/JitCodeGeneratorTest.java