fix printing in x86
couple misc improvements in x64_heapScript.sml