/testsuite/bsc.bluesim/to_systemc/multiple_models/gcd/