Re: [PATCH] Drop two useless variables from known-dwarf.awk