https://github.com/AdaCore/VSS
