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