docs: def process(self, state, procedure,
              ret_to=None,
              inline=None,
              force_addr=None,
              **kwargs):
          """
          Perform execution with a state.
  
          :param state:       The state with which to execute
          :param procedure:   An instance of a SimProcedure to run
          :param ret_to:      The address to return to when this procedure is finished
          :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
          :returns:           A SimSuccessors object categorizing the execution's successor states
          """
          return super(SimEngineProcedure, self).process(state, procedure,
                  ret_to=ret_to,
                  inline=inline,
                  force_addr=force_addr)