static Map<Thread, StackTraceElement[]> runnableThreadsWithStackTraces() {
  Map<Thread, StackTraceElement[]> map = filterMap(f isThreadRunnable_x, Thread.getAllStackTraces());
  map.remove(currentThread());
  ret map;
}