Using integer types of stdint.h