@nedbat what's the advantage in doing that?