rerrange (execution-time servers *are* explained ... before the task model is extended to encompass them)