/add_n.s/1.1.1.1/Wed Nov 15 22:04:29 2000//
/addmul_1.s/1.1.1.1/Wed Nov 15 22:04:29 2000//
/mul_1.s/1.1.1.1/Wed Nov 15 22:04:29 2000//
/sub_n.s/1.1.1.1/Wed Nov 15 22:04:29 2000//
D
