a bit more progress on x64Correct