U235PAD rewritten in C, now works even with -O2