Use of CPP implies need for the CPP pragma...
Use of CPP implies need for the CPP pragma...

Not sure how it built and gave me the positive result but not
having CPP pragma is clearly wrong.

GaloisInc/cryptol,TomMD/cryptol,TomMD/cryptol,GaloisInc/cryptol,TomMD/cryptol,ntc2/cryptol,GaloisInc/cryptol,TomMD/cryptol