Stav dette: Understanding concurrency in Ada /