stdint missing