modernization: use cstdint rather than stdint.h