/*Race */

proc(x,y) [x|->] {
  x->tl = y;
} [x|->y]

main() {
  x = new(); 
  proc(x,NULL) || proc(x,NULL);
} [x|->NULL]