correction to 64 bit ABI implementation
Merge pull request #1549 from WalterBright/b32

correction to 64 bit ABI implementation