static int burnCPUForNSeconds_dummy;

// returns a bogus computed value
static int burnCPUForNSeconds(double seconds) {
  int n = 1;
  long endTime = sysTimeInNSeconds(seconds);
  while (sysNow() < endTime) { repeat 100000 { n += n*2; } }
  burnCPUForNSeconds_dummy = n;
}