use stdint.h types.