/gdb/testsuite/gdb.ada/file-then-restart/