/src/systemc/tests/systemc/kernel/dynamic_processes/sc_spawn_options/