Require stdint.h