/Implies/1.1/Sun Oct 15 03:25:29 2000//D2004.07.26.07.00.00
/addmul_1.s/1.4/Sat Jul  7 10:13:07 2001//D2004.07.26.07.00.00
/mul_1.s/1.4/Sat Jul  7 10:13:07 2001//D2004.07.26.07.00.00
/submul_1.s/1.4/Sat Jul  7 10:13:07 2001//D2004.07.26.07.00.00
/udiv_qrnnd.s/1.4/Sat Jul  7 10:13:07 2001//D2004.07.26.07.00.00
D