Use stdint.h types