Code Editor : sysc_compat_timer_gettime.stp