module RRFixed () { process = { int initial_quantum; requires int quantum; } ordering_criteria = {highest quantum} interface = { void attach (requires process p) { p.initial_quantum = 10; next(); } } }