@Override
	protected T evaluateLoad(Program program, PcodeOp op, Map<Varnode, T> already) {
		int spaceID = getIntConst(op.getInput(0));
		AddressSpace space = program.getAddressFactory().getAddressSpace(spaceID);
		Varnode inOffset = op.getInput(1);
		T offset = evaluateVarnode(program, inOffset, already);
		Varnode outVar = op.getOutput(); // Only for measuring size
		T out = evaluateAbstract(program, space, offset, outVar.getSize(), already);
		return arithmetic.modAfterLoad(op, space, offset, out);
	}
Construct an evaluator

@param arithmetic the arithmetic for computing p-code op outputs
Ghidra/Debug/ProposedUtils/src/main/java/ghidra/pcode/eval/ArithmeticVarnodeEvaluator.java