note requirement for stdint.h