Use C++ cstdint header in utility.h