[PATCH] modeprint.c: use PRIu64 for printing uint64_t