Code Editor : sysc_clock_gettime.stp