/testsuite/bsc.long_tests/log2_loop/