IMS High Performance Pointer Checker 3.1 documentation (November 2022)