resource x1 op f(char x) body x1(int a[1:3,2:4], char c) write(c); f('a') proc f(x) { write(c,x) for [ i= 1 to 3, j = 2 to 4 ] { write(a[i,j]) } } end resource x2 import x1 body x2() int a[1:3,2:4] for [ i= 1 to 3, j = 2 to 4 ] { a[i,j] = 100*i+j } cap x1 c c = create x1(a,'C'); c.f('A') c = create x1(a,'D'); c.f('B') end