/basic.exp/1.1.1.3/Tue Sep 12 14:47:18 2000//
/err-1.s/1.1.1.1/Mon May 13 13:42:56 2002//
/err.exp/1.1.1.1/Mon May 13 13:42:56 2002//
/fp.s/1.1.1.2/Tue Sep 12 14:47:19 2000//
D
