(module Exception_check)