202 #define validate(v) _validate(__LINE__, v, #v)  macro
266 	validate(get_cs_cookie(0) == 0);  in main()
273 	validate(get_cs_cookie(0) != 0);  in main()
279 	validate(get_cs_cookie(0) == get_cs_cookie(pid));  in main()
280 	validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
287 	validate(get_cs_cookie(0) != get_cs_cookie(pid));  in main()
288 	validate(get_cs_cookie(pid) != 0);  in main()
289 	validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
297 	validate(get_cs_cookie(0) == get_cs_cookie(pid));  in main()
298 	validate(get_cs_cookie(pid) != 0);  in main()
299 	validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
308 	validate(get_cs_cookie(0) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
309 	validate(get_cs_cookie(pid) != get_cs_cookie(procs[pidx].thr_tids[0]));  in main()
316 	validate(get_cs_cookie(0) == get_cs_cookie(pid));  in main()
317 	validate(get_cs_cookie(pid) != 0);  in main()
318 	validate(get_cs_cookie(pid) == get_cs_cookie(procs[pidx].thr_tids[0]));  in main()