text: import angr
  
  ######################################
  # __vsnprintf
  ######################################
  
  class vsnprintf(angr.SimProcedure):
      #pylint:disable=arguments-differ
  
      def run(self, str_ptr, size, fmt, ap): #pylint:disable=unused-argument
          # This function returns
          # Add another exit to the retn_addr that is at the top of the stack now
          
          if self.state.se.eval(size) == 0:
              return size
          
          self.state.memory.store(str_ptr, "\x00")
  
          return size - 1
  