static int currentAICPUAllowance() {
  ret parseIntOpt(loadTextFile(javaxDataDir("cores-dedicated-to-ai.txt")));
}