static int coresToUse_fixed() {
  ret max(1, coresToUse());
}