root@tivpre-master:/home/robinp # ./regexps
with eval "optimisation"
timethis 5000: 56 wallclock secs (52.42 usr +  0.00 sys = 52.42 CPU)
naive
timethis 5000: 16 wallclock secs (15.63 usr +  0.00 sys = 15.63 CPU)