Ada code base for SPL