/SRT.lhs/1.19/Tue Aug 17 15:24:05 2004//
/SimplStg.lhs/1.46/Thu Mar 31 10:16:42 2005//
/StgStats.lhs/1.14/Wed Jul  2 13:12:38 2003//
D
