Corrected stdint.h missing usage