internal void AddFrame(StackFrame new_frame) { new_frame.SetLevel (frames.Count); frames.Add (new_frame); last_frame = new_frame; }