use size_t, not std::size_t if we are only including stdint.h