new_contents: import angr
  
  # pylint: disable=unused-argument,arguments-differ
  
  class GetStdHandle(angr.SimProcedure):
      def run(self, handle):
          if handle.op != 'BVV':
              raise angr.errors.SimProcedureArgumentError("Can't deal with symbolic std handle")
  
          # for now, return file descriptors + 1000 as handles
          if (handle == -10).is_true():
              return 1000
          elif (handle == -11).is_true():
              return 1001
          elif (handle == -12).is_true():
              return 1002
          else:
              return -1
  
  
  class ReadFile(angr.SimProcedure):
      def run(self, hFile, lpBuffer, nNumberOfBytesToRead, lpNumberOfBytesRead, lpOverlapped):
          self.state.mem[lpNumberOfBytesRead].long = 0
  
          fd = hFile - 1000
          simfd = self.state.posix.get_fd(fd)
          if simfd is None:
              return 0
  
          bytes_read = simfd.read(lpBuffer, nNumberOfBytesToRead)
          self.state.mem[lpNumberOfBytesRead].long = bytes_read
          return 1
  
  
  class WriteFile(angr.SimProcedure):
      def run(self, hFile, lpBuffer, nNumberOfBytesToWrite, lpNumberOfBytesWritten, lpOverlapped):
          self.state.mem[lpNumberOfBytesWritten].long = 0
  
          fd = hFile - 1000
          simfd = self.state.posix.get_fd(fd)
          if simfd is None:
              return 0
  
          bytes_written = simfd.write(lpBuffer, nNumberOfBytesToWrite)
          self.state.mem[lpNumberOfBytesWritten].long = bytes_written
          return 1
  
subject: Add three win32 simprocedures