static int burnCPUForNSeconds_dummy;

// returns some sort of speed measure
static int burnCPUForNSeconds(double seconds) {
  int n = 1, iterations = 0;
  long endTime = sysTimeInNSeconds(seconds);
  while (licensed() && sysNow() < endTime) {
    ++iterations;
    repeat 100000 { n += n*2; }
  }
  burnCPUForNSeconds_dummy = n;
  ret iround(iterations/seconds);
}