prove cheat in zHEAP_isBlock