Should this be 'rtems.check_posix()' ?