* main_scheck.ml: using skip list