this just needs #include <cstdint>