new_contents: import simuvex
  
  from . import _IO_FILE
  
  ######################################
  # rewind
  ######################################
  
  class rewind(simuvex.SimProcedure):
      #pylint:disable=arguments-differ
  
      def run(self, file_ptr):
          fseek = simuvex.SimProcedures['libc.so.6']['fseek']
          self.inline_call(fseek, file_ptr, 0, 0)
  
          return None
  
subject: Implement SimProcedure rewind()