pub unsafe extern "C" fn lean_mk_io_error_illegal_operation( _: u32, _: lean_obj_arg, ) -> lean_obj_res