Some tools for the HP-ROM