Update and rename main.adb to adadoom3.adb