Code Editor : sysc_timer_gettime.stp