Why reinvent the wheel? 
Once you have the "correct" hex... you can simply plug it into the "Private key to wallet import format" part of http://gobittest.appspot.com/PrivateKey or bitaddress.org (download and run offline etc)... or even the bitcoinpaperwallet.com that he was checking with will work just fine with HEX private keys...
Once you have the "correct" hex... you can simply plug it into the "Private key to wallet import format" part of http://gobittest.appspot.com/PrivateKey or bitaddress.org (download and run offline etc)... or even the bitcoinpaperwallet.com that he was checking with will work just fine with HEX private keys...
Simply because everywhere I've tested I tried with the leading zeros and got bad results.
I've got to the idea to remove the leading zeros while debugging. And from there to simply alter the code was the obvious step forward.
But you're right. And this means that there's a solution that doesn't involve .exe, even better. Thanks!