bignum_mod_short shouldn't be depending on a fixed place value in
[u/mdw/putty] / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 4644 kh2reg.py