cstdint instead of stdint.h