1 2 3 4 5 6 7 8
package Spark1 is Mailbox : Integer with Atomic, Async_Writers, Async_Readers; task Worker with Global => (Input => Mailbox); end;