Code Editor : sysc_timerfd_gettime.stp