Re: [PATCH 06/11] dtoc: Improve internal error for Refresh()