* main_codequery.ml: comment