te{propertailrecursion}">8</a>].</p>
<p>
</p>
<blockquote><em>Rationale:&nbsp;&nbsp;</em>
<p>
Intuitively, no space is needed for an active tail call because the
continuation that is used in the tail call has the same semantics as the
continuation passed to the procedure containing the call.  Although an improper
implementation might use a new continuation in the call, a return
to this new continuation would be followed immediately by a return
to the continuation passed to the procedure.  A properly tail-re