let scm_consistency_check () = !scm_consistency_check_opt