ntdll/tests: Print 64bit integers as two 32 bit integers.