/* We rely on GCC's default version. */
#include "stdint-gcc.h"