A demonstration of how the producer-consumer pattern is implemented in Ada.
The examples should all ensure proper task termination.