error: unknown type name ‘uint64_t’ code example

Example: error: unknown type name ‘uint64_t’

I usually #include <stdint.h>