Use proper printf specifiers to print u_int64_t and uintptr_t.