--- a/progs/bfc0.scala	Thu Sep 26 14:19:23 2019 +0100
+++ b/progs/bfc0.scala	Mon Sep 30 12:27:15 2019 +0100
@@ -52,7 +52,7 @@
 
 def compile_run(prog: String) = {
   compile("tmp", prog)
-  "gcc -O0 -o tmp tmp.c".!
+  "gcc -O3 -o tmp tmp.c".!
   "./tmp".!
   ()
 }