/spec/rtems/init/
../
constraint
if