src/gnu/dist/gdb/utils/misc/doschk
