1 2 3 4 5 6 7
#include <stdlib.h> int main() { unsigned int seed = 0xbeaf; (void)rand_r(&seed); return 0; }