diff -r 1129024b26d5 -r d14a9bdac26f progs/re4.scala
--- a/progs/re4.scala	Tue Sep 20 12:38:26 2016 +0100
+++ b/progs/re4.scala	Tue Sep 20 12:40:57 2016 +0100
@@ -84,6 +84,7 @@
   (end - start)/(i * 1.0e9)
 }
 
+// warmup
 val i = 5000
 println(i + " " + "%.5f".format(time_needed(10, matcher(EVIL1(i), "a" * i))))