https://learn.adacore.com/courses/Guidelines_for_Safe_and_Secure_Ada_SPARK/chapters/guidelines/dynamic_storage_management/dyn05_user-defined_storage_pools_policy.html
User-Defined Storage Pools Policy (DYN05) - learn.adacore.com
user definedstorage poolspolicylearnadacore