green_leaf comments on The Pointer Resolution Problem