Use stdint.h typedefs for ints.