> Tail-call optimization should have exactly the same status (present or > absent) in the language definition as garbage collection, which might > be called "cons optimization". Tail-call optimization is really just > a special kind of garbage collection, ... I agree. Is there any mention of `garbage collection' in the standard? Marc