Nantes Université
Ensure that after modifying other modules, the Persistent module still compiles.
Persistent module