modify using <cstdint>