static void printLastTiming(S text) {
  print(text + ": " + renderElapsedTimePleasantly(lastTiming()));
}