/src/systemc/tests/systemc/kernel/module_thread_after_sc_start/