static L<ThreadInfo> printDeadlocksAndSolve() {
  L<ThreadInfo> l = printDeadlocks();
  interruptDeadlockedThreads(l);
  ret l;
}