/add_n.s/1.1.1.2/Wed Apr 11 11:44:34 2001//Tghc-5-02-2
/mul_1.s/1.1.1.2/Wed Apr 11 11:44:34 2001//Tghc-5-02-2
/sub_n.s/1.1.1.2/Wed Apr 11 11:44:34 2001//Tghc-5-02-2
D
