!7 p { noRegularGC(); print(processID()); repeat with sleep 1 { System.out.println(formatDouble(miniBench()/1000.0, 3) + " µs"); } }