*IMPORTANT*
This is an *old* version of reqtools.library (1.3 compatible)
You don't need to copy this to your 'libs:' assign, and you don't want to
(its five years old...)