Fix $or
[factor/jcg.git] / extra / benchmark / dispatch5 / 
treeff6731829d4361dce547caa5f42b11db59b26767
drwxr-xr-x   ..
-rwxr-xr-x 1301 dispatch5.factor