Include inttypes.h to format width-based integral types. This is safer
than %x, because %x may read an unbounded amount of characters.