test
The default is C int, which usually gives 32-bit even on 64-bit Linux. This will be the right way to fix #110149 (but needs to be deployed).