What precisely is meant by "properly tail-recursive"? That is, what is required of an implementation, in order that it may be called properly tail-recursive? -Luddy Harrison