docs: public static DynamicSizedSchedulerInterface getScheduler(int initialThreadCount, String poolName,
        int maximumPoolSize) {
      return getSchedulerProvider().getScheduler(initialThreadCount, poolName, maximumPoolSize);
    }