1  typedef unsigned char t;int i,j;
       2  t*f(t*p){t c;c=*p++;i=((c&2)?1:0);j=(c&7)+1;return p;}
       3  main(){t*p0="ab",*p1;p1=f(p0);if(p0+1!=p1)abort();exit(0);}