Use stdint types