Code Editor : sysc_sched_get_priority_max.stp