/cpukit/libmisc/dumpbuf/