Clean up some duplication
[factor/jcg.git] / extra / benchmark / fannkuch / 
tree0b57a71c21cda1f1bcd5e534373f915eebc82fa5
drwxr-xr-x   ..
-rw-r--r-- 987 fannkuch.factor