// @(#)$Id: exercise.txt,v 1.4 1997/06/03 23:06:50 leavens Exp $

In Larch/C++, specify a C++ function, isqrt, that computes
takes an int argument, returns an int result, and can throw no
exceptions.  The result should be
an approximation to the square root of an integer.
Your specification should have the following outline.

int isqrt(int i) throw();
//@ behavior {
//@  requires ...;
//@  ensures ...;
//@ }

You are to fill in the dots.