project Invalid is for Runtime ("Ada") use ("light"); end Invalid;