!7

p {
  noRegularGC();
  print("PID: " + processID());
  repeat {
    print(formatDouble(nsToMS(maxExecutionGap()), 1) + " ms");
  }
}