Finally, we can use %zx with a 64-bit number instead of %x%x with 2 32-bit values split from a 64-bit number!