private static OpTpl getLabelOpTemplate(AddressFactory addrFactory, int labelIndex) {
		ConstTpl offsetTpl = new ConstTpl(ConstTpl.REAL, labelIndex);
		ConstTpl spaceTpl = new ConstTpl(addrFactory.getConstantSpace());
		ConstTpl sizeTpl = new ConstTpl(ConstTpl.REAL, 8);
		VarnodeTpl input = new VarnodeTpl(spaceTpl, offsetTpl, sizeTpl);
		return new OpTpl(PcodeOp.PTRADD, null, new VarnodeTpl[] { input });
	}
Create label OpTpl. Uses overloaded PcodeOp.PTRADD with input[0] = labelIndex

@param addrFactory
@param labelIndex
@return label OpTpl
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/util/pcode/PcodeFormatter.java