code: def load_library(self, flags=0):
      # import it with the CFFI backend
      backend = self.ffi._backend
      # needs to make a path that contains '/', on Posix
      filename = os.path.join(os.curdir, self.verifier.modulefilename)
      module = backend.load_library(filename, flags)
      #
      # call loading_gen_struct() to get the struct layout inferred by
      # the C compiler
      self._load(module, "loading")
  
      # build the FFILibrary class and instance, this is a module subclass
      # because modules are expected to have usually-constant-attributes and
      # in PyPy this means the JIT is able to treat attributes as constant,
      # which we want.
      class FFILibrary(types.ModuleType):
          _cffi_generic_module = module
          _cffi_ffi = self.ffi
          _cffi_dir = []
  
          def __dir__(self):
              return FFILibrary._cffi_dir
  
      library = FFILibrary("")
      #
      # finally, call the loaded_gen_xxx() functions.  This will set
      # up the 'library' object.
      self._load(module, "loaded", library=library)
      return library
  
imports: import sys, os
  import types
  from .None import model
  from .error import VerificationError
label_desc: Use image node_id 7 for calling the VGenericEngine obj's underlying member method code with example usage: obj.load_library(flags) and returns: library, FFILibrary