src/external/gpl3/gdb/dist/gdb/testsuite/gdb.ada/task_switch_in_core
