int nameIn; // ebx@1
  void *nameHash; // esi@1
  __int64 v6; // qax@1
  __int64 v7; // qcx@1
  int v8; // esi@1
  signed __int64 v9; // qt2@1
  int v10; // edx@1
  void *v11; // eax@1
  void *v12; // eax@1

  nameIn = nameInput;
  nameHash = objc_msgSend((void *)nameInput, sel_hash);
  *(_DWORD *)&v6 = objc_msgSend((void *)nameIn, sel_length);
  *(_DWORD *)&v7 = 0xD0552E29 * (_DWORD)nameHash;
  *((_DWORD *)&v7 + 1) = 0x2Cu * (_DWORD)nameHash + (0xD0552E29 * (unsigned __int64)(unsigned int)nameHash >> 32);
  v8 = v6;
  v9 = 0x4876E800i64 * (unsigned int)v6;
  *(_DWORD *)&v6 = 0x4876E800 * (_DWORD)v6;
  v10 = *((_DWORD *)&v9 + 1);
  *((_DWORD *)&v6 + 1) = 23 * v8 + v10;
  v11 = objc_msgSend(
          clsref_NSString,
          sel_stringWithFormat_,
          &cfstr___12qi,
          (_DWORD)v6 + (_DWORD)v7 + 276447232,
          ((unsigned __int64)(v6 + v7 + 276447232) >> 32) + 23283);
  return objc_msgSend(v12, sel_substringWithRange_, 1, 12);