On Sep 7, 2013, at 12:27 PM, Marc Glisse <marc.glisse@inria.fr> wrote: > Now flag_check_new should probably disable this optimization… Yes, this why my point.