get_cs_cookie
get_cs_cookie(getpid()));
getpgid(proc[i].cpid), get_cs_cookie(proc[i].cpid));
proc[i].cpid, getpgid(0), get_cs_cookie(proc[i].thr_tids[j]));
validate(get_cs_cookie(0) == 0);
validate(get_cs_cookie(0) != 0);
validate(get_cs_cookie(0) == get_cs_cookie(pid));
validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0]));
validate(get_cs_cookie(0) != get_cs_cookie(pid));
validate(get_cs_cookie(pid) != 0);
validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0]));
validate(get_cs_cookie(0) == get_cs_cookie(pid));
validate(get_cs_cookie(pid) != 0);
validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0]));
validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0]));
validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0]));
validate(get_cs_cookie(0) == get_cs_cookie(pid));
validate(get_cs_cookie(pid) != 0);
validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0]));