/add_n.S/1.1/Fri Feb 17 20:12:26 1995//
/add_n.s/1.2/Sat Jul  7 10:13:17 2001//
/mul_1.S/1.1/Fri Feb 17 20:12:28 1995//
/mul_1.s/1.2/Sat Jul  7 10:13:17 2001//
/sub_n.S/1.1/Fri Feb 17 20:12:29 1995//
/sub_n.s/1.2/Sat Jul  7 10:13:17 2001//
D
