Rev 601 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
return true;
}
void do_init_randoms()
{
static bool randoms_are_initialized = init_randoms();
init_randoms();