/nplusk.T/1.3/Tue Jun 19 14:03:39 2001//
/nplusk.expect.stdout/1.1/Thu Mar  8 16:33:03 2001//
/nplusk.hs/1.1/Thu Mar  8 16:33:03 2001//
D
