#include <stdlib.h>

int main() {
   unsigned int seed = 0xbeaf;
   (void)rand_r(&seed);
   return 0;
}