Re: [PATCH 02/10] dtoc: add option to disable warnings