@Override
	public byte[] toConcrete(JitVal value, Purpose purpose) {
		if (value instanceof JitConstVal c) {
			return Utils.bigIntegerToBytes(c.value(), c.size(), endian.isBigEndian());
		}
		throw new ConcretionError("Cannot concretize " + value, purpose);
	}
{@inheritDoc}

<p>
We override this to record the {@link JitLoadOp load} op into the use-def graph. For our
{@code inValue}, the {@link JitDataFlowState state} will have just returned the
{@link JitIndirectMemoryVar#INSTANCE dummy indirect} variable definition. We must not "use"
this. Instead, we must take our other parameters to construct the load op and return its
output.
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitDataFlowArithmetic.java