use uint64_t for timestamps, uint16_t for ports; use ugly-ass POSIX defined-width printf specifiers where useful