{ dg-modules "module1" }

begin int x = 1 + access Module1 ( beast_number);
      int i = access Module1 ( beast_number ) + 1;
      int z = 1 + access Module1 if true then beast_number fi;
      int v = access Module1 if true then beast_number fi + 1;
      int w = access Module1 if true then beast_number fi
              + access Module1 if true then beast_number fi;
      assert (i = 667);
      assert (x = 667);
      assert (z = 667);
      assert (v = 667);
      assert (w = 666 * 2);
      skip
end