int dec(int x){
 return inc(~inc(inc(~x)));
}