int incr(int i) {return i+1;}
int decr(int i) {return i-1;}