package Spark1 is
Mailbox : Integer with Atomic, Async_Writers, Async_Readers;
task Worker
with Global => (Input => Mailbox);
end;