resource decl5() int a = 99 int b = 222 final { int i = 1 int j = a+1 write(a); write(b) write(i); write(j) } char c = 'C' type t = rec( int t1, t2; char t3) t x int d = a+b process p { x.t1 = b x.t2 = a x.t3 = c write(x.t2) write(x.t1) writes(x.t3) write(d) destroy myresource() } end