/add_n.S/1.3/Sat Jul  7 10:13:18 2001//
/addmul_1.s/1.3/Sat Jul  7 10:13:18 2001//
/mul_1.S/1.1/Fri Feb 17 20:12:34 1995//
/mul_1.s/1.4/Sat Jul  7 10:13:18 2001//
/sub_n.S/1.3/Sat Jul  7 10:13:18 2001//
D
