#include <sys/cdefs.h>
extern int rand_i(void) __THROW;