Searching in gdb/testsuite/gdb.modula2