/** @file
 * FreeBSD 5.1
 */
#include <sys/stdint.h>