Don't pass a 32 bit value to "%08" PRIx64.