[cvs-nhc98] patch applied (hat): Fix incorrect reporting of bad zero pointers in hat-check -v.