/cpukit/score/