/gdb/testsuite/gdb.ada/task_switch_in