Added tail-call identification code.