Write a void function using two type int call-by-reference parameters that swaps the values in the arguments. Be sure to include testable pre and post conditions.

What will be an ideal response?

```
//precondition: arguments arg1, arg2 are initialized
//postcondition: arg1 post == arg2 pre && arg2 post == arg1 pre
void swap( int & lhs, int & rhs)int temp = lhs;
lhs = rhs;
rhs = tmp;
```