/cpukit/libtrace/record/