benchmarks - Revision 515: /bin/js850/globalopt