Include <stdint.h> when we need SIZE_MAX