Using pragma Shared_Passive for data persistence in Ada