Force gcc to use x86's built-in 64/32->32,32 division instruction
[u/mdw/putty] / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 4644 kh2reg.py