/testsuite/bsc.bluesim/debugging/