Generic mul.c.