// // // rm -f ./LCG_stdio; gcc -std=c99 -O3 -fomit-frame-pointer -mtune=native LCG_stdio.c -o LCG_stdio//// ./LCG_stdio seed out_size in 32bit > LCG_out.bin//// ./LCG_stdio 0x2ddd6a2c 0xfffffffe > LCG_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 	out_32bit		 = (uint32_t)strtoul(argv[2], NULL, 0);  	output_size  = (int)strtoul(argv[2], NULL, 0);  fflush(stdout);	for (i=0; i<output_size; i++) {		out_32bit = out_32bit * 1664525 + 1013904223;		// redirect output to stdout    fwrite(&out_32bit, sizeof(out_32bit), 1, stdout);    	}  fflush(stdout);				return 0;}