#include #include int main(void) { #ifdef __UCLIBC_HAS_ARC4RANDOM__ int random_number; random_number = arc4random() % 65536; printf("%d\n", random_number); #endif return 0; }