Re: [tor-dev] [Patch] common/util_bug.h