* main_spatch.ml: comment