altos: 8051 64 * 16 multiply function was broken for negative 64-bit
[fw/altos] / debian / source /
drwxr-xr-x   ..
-rw-r--r-- 13 format