Use basic integer types from <stdint.h>.