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