* main_scheck.ml: try optimize gc