please include function evalWithTimeout.

// returns pair(# running, # timed out)
static Pair<Int> evalWithTimeout_numberOfCalculations() {
  int all = l(evalWithTimeout_allThreads);
  int inTime = l(evalWithTimeout_inTime);
  ret pair(all, max(0, all-inTime));
}