Re: [PATCH] coccinelle: check for casting malloc output