/Main.hs/1.1/Tue May  9 12:29:45 2000//
/do.stdout/1.1/Tue May  9 15:12:48 2000//
D
