int tadd_ok(int x,int y){
int sum=x+y;
int neg_over=x<0&&y<0&&sum>=0;
int pos_over=x>=0&&y>=0&&sum<0;
return !neg_over&&!pos_over;
}
int tsub_ok(int x,int y){
if(y==INT_MIN)
return 0;
return tadd_ok(x,-y);
}
int tmult_ok(int x,int y){
int p=x*y;
return !x||p/x==y;
}