A new version of the rtlib library, cleaned (hopefully) and ready to be redesigned.