prove another cheat in x64_heapScript.sml