new_contents: import simuvex
  import tempfile
  
  ######################################
  # tmpnam
  ######################################
  
  class tmpnam(simuvex.SimProcedure):
      #pylint:disable=arguments-differ
  
      def run(self, tmp_file_path_addr):
          L_tmpnam = 20
  
          if self.state.se.any_int(tmp_file_path_addr) != 0:
              return tmp_file_path_addr
  
          tmp_file_path = tempfile.mktemp()
          malloc = simuvex.SimProcedures['libc.so.6']['malloc']
          addr = self.inline_call(malloc, L_tmpnam).ret_expr
          self.state.memory.store(addr,
                                  tmp_file_path + '\x00')
  
          return addr
  
subject: Add tmpnam libc simprocedure