global storage
   var a, b, c : int
   op add()
body storage()
   proc add()
      c := a + b
   end add
end storage

resource read_em()
   import storage
   read(a, b)
end read_em

resource driver()
   import storage, read_em
   var read_cap : cap read_em
   read_cap := create read_em()
   storage.add()   # storage. is optional if no ambiguity
   printf("a = %d, b = %d, c = %d\n", a, b, c)
end driver

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

% sr -o global_example global_example.sr
% ./global_example
2 3
a = 2, b = 3, c = 5
                                              */