private static VarnodeTpl getVarnodeTpl(AddressFactory addrFactory, Varnode v) {
		ConstTpl offsetTpl = new ConstTpl(ConstTpl.REAL, v.getOffset());
		ConstTpl spaceTpl = new ConstTpl(v.getAddress().getAddressSpace());
		ConstTpl sizeTpl = new ConstTpl(ConstTpl.REAL, v.getSize());
		return new VarnodeTpl(spaceTpl, offsetTpl, sizeTpl);
	}
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