* main_sgrep.ml: comment