Using stdint.h