check at get-stable-pointer-value