@Override
		protected String stringifyUseropUnchecked(Language language, int id) {
			String name = super.stringifyUseropUnchecked(language, id);
			if (name != null) {
				return name;
			}
			return program.useropNames.get(id);
		}
A p-code program to be executed by a {@link PcodeExecutor}

<p>
This is a list of p-code operations together with a map of expected userops.
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/exec/PcodeProgram.java