The current version of pack rtchecks does not contain a file prolog/rtchecks/examples/NOCOMPILE
rtchecks
prolog/rtchecks/examples/NOCOMPILE