%namespace "".
%namespace t1 = "test.elf".
%namespace t3 = "test3.elf".

%sig R2 = {
  %include t1.R.
  %struct r: t1.R.
  a : type.
  c: t1.R.a.
  d: r.a.
  %include t3.ReadTwice.
}.