disallow-returned-arg-ret-value-elim