"foo.adb" -x
