* main_spatch.ml: misc