gdb/gdb-5.3/gdb/config/ns32k
