prove a cheat in x64_heapScript.sml