code: def __init__(self, verifier):
      self.verifier = verifier
      self.ffi = verifier.ffi
      self.export_symbols = []
      self._struct_pending_verification = {}
  
imports: import sys, os
  import types
  from .None import model
  from .error import VerificationError
label_desc: Use image node_id 1 to create a new VGenericEngine object from inherited base classes: object with example: obj = VGenericEngine(verifier)