resource variable_sized_array
   op increment(), print()
body variable_sized_array(n : int)
   var a[1:n] : int := ([n] n)

   proc increment()
      fa i := 1 to n -> a[i]++ af
   end increment

   proc print()
      fa i := 1 to n -> writes(" ", a[i]) af
      writes("\n")
   end print
end variable_sized_array

resource multiple_creates()
   import variable_sized_array
   var one, two, three : cap variable_sized_array
   one := create variable_sized_array(1)
   two := create variable_sized_array(2)
   three := create variable_sized_array(3)
   one.print(); two.print(); three.print()
   one.increment(); two.increment(); three.increment()
   one.print(); two.print(); three.print()
end multiple_creates

/* ............... Example compile and run(s)

% sr -o multiple_creates multiple_creates.sr
% ./multiple_creates
 1
 2 2
 3 3 3
 2
 3 3
 4 4 4
                                              */