static ThreadPool maxThreadPool() {
  ret new ThreadPool(numberOfCores());
}