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