17   int sum = 0;  in main()  local
29     sum += c.a[i];  in main()
31   // CHECK: Sum (after first update from) = 0  in main()
32   printf("Sum (after first update from) = %d\n", sum);  in main()
41   sum = 0;  in main()
43     sum += c.a[i];  in main()
45   // CHECK: Sum (after update to) = 1024  in main()
46   printf("Sum (after update to) = %d\n", sum);  in main()
48   sum = 0;  in main()
50     sum += c.a[i];  in main()
52   // CHECK: Sum (after second update from) = 2048  in main()
53   printf("Sum (after second update from) = %d\n", sum);  in main()