Use stdint because why not?