IMS High Performance Pointer Checker 3.1 documentation (July 2022)