void set_seed_from_time(void)
{
/* Use the current system time to get seed the ISO rand() function, from which we get a seed for the LCG. */
void set_seed_from_time(void)
{
/* Use the current system time to get seed the ISO rand() function, from which we get a seed for the LCG. */