/add_n.S/1.1/Sun Oct 22 00:22:46 2000//
/mul_1.S/1.1/Sun Oct 22 00:22:46 2000//
/sub_n.S/1.1/Sun Oct 22 00:22:46 2000//
/add_n.s/1.2/Mon Jul 16 21:35:26 2001//
/mul_1.s/1.2/Mon Jul 16 21:35:26 2001//
/sub_n.s/1.2/Mon Jul 16 21:35:26 2001//
D
