// "./cfa-cpp -c new.c"

forall( type T )
void f( T *t ) {
  t--;
  *t;
  ++t;
  t += 2;
  t + 2;
  --t;
  t -= 2;
  t - 4;
  t[7];
  7[t];
}