cstdint is included instead of stdint.h