stdint