"foo.adb" -D
