Code Editor : sysc_sys32_rt_sigtimedwait.stp