static int miniBench_uselessValue;
static long miniBench_nanoseconds;

// returns nanoseconds taken
static long miniBench() {
  long time = nanoTime();
  miniBench_uselessValue = aUselessCalculationForBenchmarking();
  ret miniBench_nanoseconds = nanoTime()-time;
}