avoid use of stdint.h