/spec/rtems/sem/
../
if
req
val