Re: [tor-dev] RFC: remove TorUtil.Enum