va: include <stdint.h> header.