/cdf_extensional.P/1.3/Wed Aug 18 03:10:29 2010//
/cur_tests.P/1.6/Wed Aug 18 03:10:29 2010//
/testing.P/1.4/Wed Aug 18 03:10:29 2010//
D
