resource foo()
  int x = 0
  op p1() {send}
  fork p1()      # fork p1
  proc p1()  {
      x += 3
  }
  int  a[10]
  for [ i = 1 to 10 ] { a[i] = i }
  op p2() {send}
  fork p2()      # fork p2
  proc p2()  {
      x += 4
  }
end