added comments about the fact that one needs to run "configure" with option --disable-vectorization when debugging the code with range checking on