public void AddStacktraceElement(string funcall, SourcePos pos) { stacktrace.AddElement(funcall, pos); }