more progress on x64CorrectScript.sml