1typedef unsigned long long value;
2
3void foo (value *v) {}
4
5void test ()
6{
7  value v;
8  foo (&v);
9  if (v-- == 1)
10    foo (&v);
11}
12