static void quickSolve_preload() {
  thread "Preload" { loading "Preloading" { defaultSolver(); } }
}