new_contents: import simuvex
  
  ######################################
  # __assert_fail
  ######################################
  
  class __assert_fail(simuvex.SimProcedure):
      NO_RET = True
  
      def run(self):
          return
  
subject: add a new SimProcedure __assert_fail