/add_n.s/1.1/Thu May 10 18:57:33 2012//
/addmul_1.s/1.1/Thu May 10 18:57:33 2012//
/mul_1.s/1.1/Thu May 10 18:57:33 2012//
/sub_n.s/1.1/Thu May 10 18:57:33 2012//
/submul_1.s/1.1/Thu May 10 18:57:33 2012//
D
