/Implies/1.2/Tue Jul 13 23:43:10 1999//D2004.07.26.07.00.00
/add_n.s/1.1/Mon Oct 16 01:18:17 1995//D2004.07.26.07.00.00
/addmul_1.s/1.1/Mon Oct 16 01:18:18 1995//D2004.07.26.07.00.00
/ffs.c/1.5/Mon Jul  5 17:36:14 2004//D2004.07.26.07.00.00
/mul_1.s/1.1/Mon Oct 16 01:18:20 1995//D2004.07.26.07.00.00
/sub_n.s/1.1/Mon Oct 16 01:18:21 1995//D2004.07.26.07.00.00
D