Re: [PATCH 25/32] tools: eliminate unnecessary labels