failed attempt to prove zHEAP_UPDATE_REF