'Get a C module from this Verifier instance.
Returns an instance of a FFILibrary class that behaves like the
objects returned by ffi.dlopen(), but that delegates all
operations to the C module.  If necessary, the C code is written
and compiled first.'

def load_library(self):

    with self.ffi._lock:
        if (not self._has_module):
            self._locate_module()
            if (not self._has_module):
                if (not self._has_source):
                    self._write_source()
                self._compile_module()
        return self._load_library()
