Code Editor : sysc_rt_sigtimedwait.stp