* main_scheck.ml: throw exn