uint*_t is defined in stdint.h