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