Edit File: sysc_rt_sigtimedwait.stp