* main_sgrep.ml: lang