Index: src/natools-s_expressions-caches.ads
==================================================================
--- src/natools-s_expressions-caches.ads
+++ src/natools-s_expressions-caches.ads
@@ -20,5 +20,6 @@
 package Natools.S_Expressions.Caches is
   new Natools.S_Expressions.Generic_Caches
   (Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool,
    Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool,
    Natools.Storage_Pools.Access_In_Default_Pool'Storage_Pool);
+pragma Preelaborate (Natools.S_Expressions.Caches);

Index: src/natools-s_expressions-generic_caches.ads
==================================================================
--- src/natools-s_expressions-generic_caches.ads
+++ src/natools-s_expressions-generic_caches.ads
@@ -39,10 +39,11 @@
    Atom_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
    Counter_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
    Structure_Pool : in out System.Storage_Pools.Root_Storage_Pool'Class;
 
 package Natools.S_Expressions.Generic_Caches is
+   pragma Preelaborate (Generic_Caches);
 
    type Reference is new Printers.Printer with private;
 
    overriding procedure Open_List (Output : in out Reference);
    overriding procedure Append_Atom

Index: tests/natools-references-tools.ads
==================================================================
--- tests/natools-references-tools.ads
+++ tests/natools-references-tools.ads
@@ -19,10 +19,11 @@
 -- of Natools.Reference, for debug or testing purposes.                     --
 ------------------------------------------------------------------------------
 
 generic
 package Natools.References.Tools is
+   pragma Preelaborate (Tools);
 
    function Is_Consistent (Left, Right : Reference) return Boolean;
       --  Check that counter and data equality are consistent
 
    function Is_Valid (Ref : Reference) return Boolean;