int f(in x, int y) 

{ 

int z, w;

assert( (z + w > 1) || (z + w < 7));

.....

}