/add_n.s/1.1.1.1/Thu Jul  7 17:50:37 2005//
/addmul_1.s/1.1.1.1/Thu Jul  7 17:50:37 2005//
/mul_1.s/1.1.1.1/Thu Jul  7 17:50:37 2005//
/sub_n.s/1.1.1.1/Thu Jul  7 17:50:37 2005//
D
