initstate(423121, random_state, sizeof(random_state));
checkfree = params.checkthreshold;
for(int exec = 0;exec < params.maxexecutions;exec++) {
initstate(423121, random_state, sizeof(random_state));
checkfree = params.checkthreshold;
for(int exec = 0;exec < params.maxexecutions;exec++) {