protected override void GcSeen(int time, int gc_num) { // Splitting twice here gives nice graphs, since you get a strait line Split (time); ReadGcFreed (); Split (time); last_time = time; }