Use stdint.h