/spec/rtems/sem/constraint/