Use stdint