Code Editor : sysc_sched_rr_get_interval.stp