/src/systemc/tests/systemc/kernel/sc_main_main/