runner.rb: should be slightly faster