internal void CaptureTrace ()
{
if (captured_traces != null) {
Array.Resize (ref captured_traces, captured_traces.Length + 1);
} else {
captured_traces = new StackTrace [1];
}
captured_traces [captured_traces.Length - 1] = new StackTrace (this, 0, true, true);
trace_ips = null;
}