Added bits/stdint.h