':param state:       The state with which to execute
:param irsb:        The PyVEX IRSB object to use for execution. If not provided one will be lifted.
:param skip_stmts:  The number of statements to skip in processing
:param last_stmt:   Do not execute any statements after this statement
:param whitelist:   Only execute statements in this set
:param inline:      This is an inline execution. Do not bother copying the state.
:param force_addr:  Force execution to pretend that we\'re working at this concrete address
:param thumb:           Whether the block should be lifted in ARM\'s THUMB mode.
:param opt_level:       The VEX optimization level to use.
:param insn_bytes:      A string of bytes to use for the block instead of the project.
:param size:            The maximum size of the block, in bytes.
:param num_inst:        The maximum number of instructions.
:param traceflags:      traceflags to be passed to VEX. (default: 0)
:returns:           A SimSuccessors object categorizing the block\'s successors'

def process(self, state, irsb=None, skip_stmts=0, last_stmt=99999999, whitelist=None, inline=False, force_addr=None, insn_bytes=None, size=None, num_inst=None, traceflags=0, thumb=False, opt_level=None, **kwargs):

    return super(SimEngineVEX, self).process(state, irsb, skip_stmts=skip_stmts, last_stmt=last_stmt, whitelist=whitelist, inline=inline, force_addr=force_addr, insn_bytes=insn_bytes, size=size, num_inst=num_inst, traceflags=traceflags, thumb=thumb, opt_level=opt_level)
