static Lock defaultSolver_lock = lock();

static O defaultSolver() {
  ret hotwireOnce(#738);
}