static Thread getThreadByID(long threadID) {
  ret firstThat(allThreads_fast(), t -> threadID(t) == threadID);
}