resource foo(int N, int n, cap () c)
  import glob
  process p [ i = 1 to N ] {
    P(mutex); x += n; V(mutex)
    send c()
  }
end