svoid test_pingSourceDo() {
  new ThreadPool pool;
  PingSource ps = new(pool);
  flagTest(flag -> ps.do(flag), 10.0);
  print(pool);
}