changed to stdint