Do not use stdint