<cstdint> is used instead of <stdint.h>