v3 = 16;
  memset(s, 0, 0x12u);
  puts("value:");
  printf("> ");
  read(0, s, 0x11u);
  for ( i = 0; i <= 10; ++i )
  {
    v2 = v3 ^ s[i];
    if ( *(_BYTE *)(i + 134525008) != v2 )
      return 0;
  }
  return 1;
}