/Implies/1.2/Sun Oct 22 00:22:28 2000//
/add_n.s/1.1/Sun Oct 22 00:22:28 2000//
/addmul_1.s/1.1/Sun Oct 22 00:22:28 2000//
/mul_1.s/1.1/Sun Oct 22 00:22:28 2000//
/sub_n.s/1.1/Sun Oct 22 00:22:28 2000//
/ffs.c/1.4/Mon Jul 16 21:35:22 2001//
D
