static S solveDeadlocks() {
  ret hijackPrint(f printDeadlocksAndSolve);
}