static int burnCPUForNSeconds_dummy;

svoid burnCPUForNSeconds(double n) {
  int n = 1;
  long endTime = sysTimeInNSeconds(n);
  while (sysNow() < endTime) { repeat 100000 { n += n*2; } }
  burnCPUForNSeconds_dummy = n;
}