with tasks; use tasks; with task_set; use task_set; procedure mcs is t : tasks_set; begin null; end mcs;