Integrating FoxBin2PRG (was Re: Diffing VCXs)