/* This file is in the public domain */ #include <sys/stdint.h>