Use `stdint.h`.