Helper program for ssdtPRGen.sh