it absolutely does affect the semantics of the program. A properly tail called function can recurse indefinitely. One without TCO will stack overflow.