IMS High Performance Pointer Checker 3.1 documentation (September 2021)