Using stdint.h instead of cstdint