* main_stags.ml: