project Default is
   for Main use ("main.adb");
end Default;
