add stdint header