%namespace "test3.elf".
%sig ReadTwice = {
  a : type.
}.