__int64 __fastcall gen_serial(const char *a1)
{
  const char *i; // [rsp+4h] [rbp-20h]
  int v3; // [rsp+18h] [rbp-Ch]

  v3 = 33333333;
  for ( i = a1; *i; ++i )
    v3 += (char)(*i ^ 0xEE);
  return v3 ^ 0x289056Du;
}