old_contents: import simuvex
  
  ######################################
  # abort
  ######################################
  
  class abort(simuvex.SimProcedure):
      def run(self):
          return
  
new_contents: import simuvex
  
  ######################################
  # abort
  ######################################
  
  class abort(simuvex.SimProcedure):
      NO_RET = True
  
      def run(self):
          return
  
subject: Mark abort() as not returning.