Reverts 2986932f31. There are more types of ints than sizes of ints, so using the stdint types doesn't work.
2986932f31