/* This file is in the public domain */
/* $FreeBSD: releng/12.1/sys/crypto/libsodium/stdint.h 337938 2018-08-17 00:27:56Z cem $ */
#include <sys/stdint.h>