Use stdint for type sizing