You want tail call optimization, not just tail-recursion, i.e. mutually recursive functions.