old_contents: #!/usr/bin/env python
  '''This module handles constraint generation.'''
  
  import logging
  logging.getLogger("simuvex").addHandler(logging.NullHandler())
  
  # pylint: disable=W0401
  
  from .s_state import SimState
  from .s_errors import *
  from .s_action import *
  from .s_procedure import SimProcedure
  import simuvex.procedures
  from .procedures import SimProcedures
  from .s_run import *
  import simuvex.s_options as o
  from .s_pcap import *
  from .plugins import *
  from .vex.irsb import SimIRSB
  from .vex.statements import SimIRStmt
  from .vex.irop import operations, all_operations, unsupported as unsupported_operations, unclassified as unclassified_operations
  from .s_cc import SimCC, DefaultCC
  from .s_slicer import SimSlicer
  from .s_variable import *
  from . import storage
  
new_contents: #!/usr/bin/env python
  '''This module handles constraint generation.'''
  
  import logging
  logging.getLogger("simuvex").addHandler(logging.NullHandler())
  
  # pylint: disable=W0401
  
  from .s_state import SimState
  from .s_errors import *
  from .s_action import *
  from .s_procedure import SimProcedure
  import simuvex.procedures
  from .procedures import SimProcedures
  from .s_run import *
  import simuvex.s_options as o
  import simuvex.s_options as options
  from .s_pcap import *
  from .plugins import *
  from .vex.irsb import SimIRSB
  from .vex.statements import SimIRStmt
  from .vex.irop import operations, all_operations, unsupported as unsupported_operations, unclassified as unclassified_operations
  from .s_cc import SimCC, DefaultCC
  from .s_slicer import SimSlicer
  from .s_variable import *
  from . import storage
  
subject: add simuvex.options as an alias for simuvex.o