Using the Pointer Checker