Fix TCO for top-level functions