mov64 tests and win64 printf fix