Eric Pouech : dxdiagn: Use I64 width modifier for 64-bit integers in printf.