Only need <stdint.h> and not all of <inttypes.h> here