Storing Ada Objects permanently