}
protected void interruptViaPython() {
ThreadState ts=pythonThread;
TraceFunction breaker=new BreakTraceFunction();
TraceFunction oldTrace = ts.tracefunc;
ts.tracefunc = breaker;
if (ts.frame != null)
ts.frame.tracefunc = breaker;
ts.tracefunc = oldTrace;
}