// // // rm -f ./C_Rand_stdio; gcc -std=c99 -O3 -fomit-frame-pointer -mtune=native C_Rand_stdio.c -o C_Rand_stdio//// ./C_Rand_stdio seed out_size in 32bit > C_Rand_out.bin//// ./C_Rand_stdio 0x2ddd6a2c 0xfffffffe > C_Rand_out.bin#include <stdlib.h>#include <stdio.h> #include <string.h>#include <time.h>// needed to generate uint32 on a 64bit OS#include <stdint.h>/////////////////////////////////////////// int main (int argc, char *argv[]) { 	uint32_t out_32bit, output_size, i;	// seed the PRNG 	uint32_t seed = (uint32_t)strtoul(argv[1], NULL, 0);  	output_size   = (int)strtoul(argv[2], NULL, 0);	srand( seed );  fflush(stdout);	for (i=0; i<output_size; i++) {		out_32bit = rand();		// redirect output to stdout    fwrite(&out_32bit, sizeof(out_32bit), 1, stdout);    	}  fflush(stdout);				return 0;}