text: char clang_inttypes_buf [] = {
  47,42,61,61,61,45,45,45,45,32,105,110,116,116,121,112,
  101,115,46,104,32,45,32,83,116,97,110,100,97,114,100,32,
  104,101,97,100,101,114,32,102,111,114,32,105,110,116,101,103,
  101,114,32,112,114,105,110,116,102,32,109,97,99,114,111,115,
  32,45,45,45,45,45,45,45,45,45,45,61,61,61,42,92,
  10,32,42,10,32,42,32,80,101,114,109,105,115,115,105,111,
  110,32,105,115,32,104,101,114,101,98,121,32,103,114,97,110,
  116,101,100,44,32,102,114,101,101,32,111,102,32,99,104,97,
  114,103,101,44,32,116,111,32,97,110,121,32,112,101,114,115,
  111,110,32,111,98,116,97,105,110,105,110,103,32,97,32,99,
  111,112,121,10,32,42,32,111,102,32,116,104,105,115,32,115,
  111,102,116,119,97,114,101,32,97,110,100,32,97,115,115,111,
  99,105,97,116,101,100,32,100,111,99,117,109,101,110,116,97,
  116,105,111,110,32,102,105,108,101,115,32,40,116,104,101,32,
  34,83,111,102,116,119,97,114,101,34,41,44,32,116,111,32,
  100,101,97,108,10,32,42,32,105,110,32,116,104,101,32,83,
  111,102,116,119,97,114,101,32,119,105,116,104,111,117,116,32,
  114,101,115,116,114,105,99,116,105,111,110,44,32,105,110,99,
  108,117,100,105,110,103,32,119,105,116,104,111,117,116,32,108,
  105,109,105,116,97,116,105,111,110,32,116,104,101,32,114,105,
  103,104,116,115,10,32,42,32,116,111,32,117,115,101,44,32,
  99,111,112,121,44,32,109,111,100,105,102,121,44,32,109,101,
  114,103,101,44,32,112,117,98,108,105,115,104,44,32,100,105,
  115,116,114,105,98,117,116,101,44,32,115,117,98,108,105,99,
  101,110,115,101,44,32,97,110,100,47,111,114,32,115,101,108,
  108,10,32,42,32,99,111,112,105,101,115,32,111,102,32,116,
  104,101,32,83,111,102,116,119,97,114,101,44,32,97,110,100,
  32,116,111,32,112,101,114,109,105,116,32,112,101,114,115,111,
  110,115,32,116,111,32,119,104,111,109,32,116,104,101,32,83,
  111,102,116,119,97,114,101,32,105,115,10,32,42,32,102,117,
  114,110,105,115,104,101,100,32,116,111,32,100,111,32,115,111,
  44,32,115,117,98,106,101,99,116,32,116,111,32,116,104,101,
  32,102,111,108,108,111,119,105,110,103,32,99,111,110,100,105,
  116,105,111,110,115,58,10,32,42,10,32,42,32,84,104,101,
  32,97,98,111,118,101,32,99,111,112,121,114,105,103,104,116,
  32,110,111,116,105,99,101,32,97,110,100,32,116,104,105,115,
  32,112,101,114,109,105,115,115,105,111,110,32,110,111,116,105,
  99,101,32,115,104,97,108,108,32,98,101,32,105,110,99,108,
  117,100,101,100,32,105,110,10,32,42,32,97,108,108,32,99,
  111,112,105,101,115,32,111,114,32,115,117,98,115,116,97,110,
  116,105,97,108,32,112,111,114,116,105,111,110,115,32,111,102,
  32,116,104,101,32,83,111,102,116,119,97,114,101,46,10,32,
  42,10,32,42,32,84,72,69,32,83,79,70,84,87,65,82,
  69,32,73,83,32,80,82,79,86,73,68,69,68,32,34,65,
  83,32,73,83,34,44,32,87,73,84,72,79,85,84,32,87,
  65,82,82,65,78,84,89,32,79,70,32,65,78,89,32,75,
  73,78,68,44,32,69,88,80,82,69,83,83,32,79,82,10,
  32,42,32,73,77,80,76,73,69,68,44,32,73,78,67,76,
  85,68,73,78,71,32,66,85,84,32,78,79,84,32,76,73,
  77,73,84,69,68,32,84,79,32,84,72,69,32,87,65,82,
  82,65,78,84,73,69,83,32,79,70,32,77,69,82,67,72,
  65,78,84,65,66,73,76,73,84,89,44,10,32,42,32,70,
  73,84,78,69,83,83,32,70,79,82,32,65,32,80,65,82,
  84,73,67,85,76,65,82,32,80,85,82,80,79,83,69,32,
  65,78,68,32,78,79,78,73,78,70,82,73,78,71,69,77,
  69,78,84,46,32,73,78,32,78,79,32,69,86,69,78,84,
  32,83,72,65,76,76,32,84,72,69,10,32,42,32,65,85,
  84,72,79,82,83,32,79,82,32,67,79,80,89,82,73,71,
  72,84,32,72,79,76,68,69,82,83,32,66,69,32,76,73,
  65,66,76,69,32,70,79,82,32,65,78,89,32,67,76,65,
  73,77,44,32,68,65,77,65,71,69,83,32,79,82,32,79,
  84,72,69,82,10,32,42,32,76,73,65,66,73,76,73,84,
  89,44,32,87,72,69,84,72,69,82,32,73,78,32,65,78,
  32,65,67,84,73,79,78,32,79,70,32,67,79,78,84,82,
  65,67,84,44,32,84,79,82,84,32,79,82,32,79,84,72,
  69,82,87,73,83,69,44,32,65,82,73,83,73,78,71,32,
  70,82,79,77,44,10,32,42,32,79,85,84,32,79,70,32,
  79,82,32,73,78,32,67,79,78,78,69,67,84,73,79,78,
  32,87,73,84,72,32,84,72,69,32,83,79,70,84,87,65,
  82,69,32,79,82,32,84,72,69,32,85,83,69,32,79,82,
  32,79,84,72,69,82,32,68,69,65,76,73,78,71,83,32,
  73,78,10,32,42,32,84,72,69,32,83,79,70,84,87,65,
  82,69,46,10,32,42,10,92,42,61,61,61,45,45,45,45,
  45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,
  45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,
  45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,
  45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,45,
  45,45,61,61,61,42,47,10,10,35,105,102,110,100,101,102,
  32,95,95,67,76,65,78,71,95,73,78,84,84,89,80,69,
  83,95,72,10,35,100,101,102,105,110,101,32,95,95,67,76,
  65,78,71,95,73,78,84,84,89,80,69,83,95,72,10,10,
  35,105,102,32,100,101,102,105,110,101,100,40,95,77,83,67,
  95,86,69,82,41,32,38,38,32,95,77,83,67,95,86,69,
  82,32,60,32,49,56,48,48,10,35,101,114,114,111,114,32,
  77,83,86,67,32,100,111,101,115,32,110,111,116,32,104,97,
  118,101,32,105,110,116,116,121,112,101,115,46,104,32,112,114,
  105,111,114,32,116,111,32,86,105,115,117,97,108,32,83,116,
  117,100,105,111,32,50,48,49,51,10,35,101,110,100,105,102,
  10,10,35,105,110,99,108,117,100,101,95,110,101,120,116,32,
  60,105,110,116,116,121,112,101,115,46,104,62,10,10,35,105,
  102,32,100,101,102,105,110,101,100,40,95,77,83,67,95,86,
  69,82,41,32,38,38,32,95,77,83,67,95,86,69,82,32,
  60,32,49,57,48,48,10,47,42,32,77,83,86,67,32,104,
  101,97,100,101,114,115,32,100,101,102,105,110,101,32,105,110,
  116,51,50,95,116,32,97,115,32,105,110,116,44,32,98,117,
  116,32,80,82,73,120,51,50,32,97,115,32,34,108,120,34,
  32,105,110,115,116,101,97,100,32,111,102,32,34,120,34,46,
  10,32,42,32,84,104,105,115,32,116,114,105,103,103,101,114,
  115,32,102,111,114,109,97,116,32,119,97,114,110,105,110,103,
  115,44,32,115,111,32,102,105,120,32,105,116,32,117,112,32,
  104,101,114,101,46,32,42,47,10,35,117,110,100,101,102,32,
  80,82,73,100,51,50,10,35,117,110,100,101,102,32,80,82,
  73,100,76,69,65,83,84,51,50,10,35,117,110,100,101,102,
  32,80,82,73,100,70,65,83,84,51,50,10,35,117,110,100,
  101,102,32,80,82,73,105,51,50,10,35,117,110,100,101,102,
  32,80,82,73,105,76,69,65,83,84,51,50,10,35,117,110,
  100,101,102,32,80,82,73,105,70,65,83,84,51,50,10,35,
  117,110,100,101,102,32,80,82,73,111,51,50,10,35,117,110,
  100,101,102,32,80,82,73,111,76,69,65,83,84,51,50,10,
  35,117,110,100,101,102,32,80,82,73,111,70,65,83,84,51,
  50,10,35,117,110,100,101,102,32,80,82,73,117,51,50,10,
  35,117,110,100,101,102,32,80,82,73,117,76,69,65,83,84,
  51,50,10,35,117,110,100,101,102,32,80,82,73,117,70,65,
  83,84,51,50,10,35,117,110,100,101,102,32,80,82,73,120,
  51,50,10,35,117,110,100,101,102,32,80,82,73,120,76,69,
  65,83,84,51,50,10,35,117,110,100,101,102,32,80,82,73,
  120,70,65,83,84,51,50,10,35,117,110,100,101,102,32,80,
  82,73,88,51,50,10,35,117,110,100,101,102,32,80,82,73,
  88,76,69,65,83,84,51,50,10,35,117,110,100,101,102,32,
  80,82,73,88,70,65,83,84,51,50,10,10,35,117,110,100,
  101,102,32,83,67,78,100,51,50,10,35,117,110,100,101,102,
  32,83,67,78,100,76,69,65,83,84,51,50,10,35,117,110,
  100,101,102,32,83,67,78,100,70,65,83,84,51,50,10,35,
  117,110,100,101,102,32,83,67,78,105,51,50,10,35,117,110,
  100,101,102,32,83,67,78,105,76,69,65,83,84,51,50,10,
  35,117,110,100,101,102,32,83,67,78,105,70,65,83,84,51,
  50,10,35,117,110,100,101,102,32,83,67,78,111,51,50,10,
  35,117,110,100,101,102,32,83,67,78,111,76,69,65,83,84,
  51,50,10,35,117,110,100,101,102,32,83,67,78,111,70,65,
  83,84,51,50,10,35,117,110,100,101,102,32,83,67,78,117,
  51,50,10,35,117,110,100,101,102,32,83,67,78,117,76,69,
  65,83,84,51,50,10,35,117,110,100,101,102,32,83,67,78,
  117,70,65,83,84,51,50,10,35,117,110,100,101,102,32,83,
  67,78,120,51,50,10,35,117,110,100,101,102,32,83,67,78,
  120,76,69,65,83,84,51,50,10,35,117,110,100,101,102,32,
  83,67,78,120,70,65,83,84,51,50,10,10,35,100,101,102,
  105,110,101,32,80,82,73,100,51,50,32,34,100,34,10,35,
  100,101,102,105,110,101,32,80,82,73,100,76,69,65,83,84,
  51,50,32,34,100,34,10,35,100,101,102,105,110,101,32,80,
  82,73,100,70,65,83,84,51,50,32,34,100,34,10,35,100,
  101,102,105,110,101,32,80,82,73,105,51,50,32,34,105,34,
  10,35,100,101,102,105,110,101,32,80,82,73,105,76,69,65,
  83,84,51,50,32,34,105,34,10,35,100,101,102,105,110,101,
  32,80,82,73,105,70,65,83,84,51,50,32,34,105,34,10,
  35,100,101,102,105,110,101,32,80,82,73,111,51,50,32,34,
  111,34,10,35,100,101,102,105,110,101,32,80,82,73,111,76,
  69,65,83,84,51,50,32,34,111,34,10,35,100,101,102,105,
  110,101,32,80,82,73,111,70,65,83,84,51,50,32,34,111,
  34,10,35,100,101,102,105,110,101,32,80,82,73,117,51,50,
  32,34,117,34,10,35,100,101,102,105,110,101,32,80,82,73,
  117,76,69,65,83,84,51,50,32,34,117,34,10,35,100,101,
  102,105,110,101,32,80,82,73,117,70,65,83,84,51,50,32,
  34,117,34,10,35,100,101,102,105,110,101,32,80,82,73,120,
  51,50,32,34,120,34,10,35,100,101,102,105,110,101,32,80,
  82,73,120,76,69,65,83,84,51,50,32,34,120,34,10,35,
  100,101,102,105,110,101,32,80,82,73,120,70,65,83,84,51,
  50,32,34,120,34,10,35,100,101,102,105,110,101,32,80,82,
  73,88,51,50,32,34,88,34,10,35,100,101,102,105,110,101,
  32,80,82,73,88,76,69,65,83,84,51,50,32,34,88,34,
  10,35,100,101,102,105,110,101,32,80,82,73,88,70,65,83,
  84,51,50,32,34,88,34,10,10,35,100,101,102,105,110,101,
  32,83,67,78,100,51,50,32,34,100,34,10,35,100,101,102,
  105,110,101,32,83,67,78,100,76,69,65,83,84,51,50,32,
  34,100,34,10,35,100,101,102,105,110,101,32,83,67,78,100,
  70,65,83,84,51,50,32,34,100,34,10,35,100,101,102,105,
  110,101,32,83,67,78,105,51,50,32,34,105,34,10,35,100,
  101,102,105,110,101,32,83,67,78,105,76,69,65,83,84,51,
  50,32,34,105,34,10,35,100,101,102,105,110,101,32,83,67,
  78,105,70,65,83,84,51,50,32,34,105,34,10,35,100,101,
  102,105,110,101,32,83,67,78,111,51,50,32,34,111,34,10,
  35,100,101,102,105,110,101,32,83,67,78,111,76,69,65,83,
  84,51,50,32,34,111,34,10,35,100,101,102,105,110,101,32,
  83,67,78,111,70,65,83,84,51,50,32,34,111,34,10,35,
  100,101,102,105,110,101,32,83,67,78,117,51,50,32,34,117,
  34,10,35,100,101,102,105,110,101,32,83,67,78,117,76,69,
  65,83,84,51,50,32,34,117,34,10,35,100,101,102,105,110,
  101,32,83,67,78,117,70,65,83,84,51,50,32,34,117,34,
  10,35,100,101,102,105,110,101,32,83,67,78,120,51,50,32,
  34,120,34,10,35,100,101,102,105,110,101,32,83,67,78,120,
  76,69,65,83,84,51,50,32,34,120,34,10,35,100,101,102,
  105,110,101,32,83,67,78,120,70,65,83,84,51,50,32,34,
  120,34,10,35,101,110,100,105,102,10,10,35,101,110,100,105,
  102,32,47,42,32,95,95,67,76,65,78,71,95,73,78,84,
  84,89,80,69,83,95,72,32,42,47,10,
  
  };
  unsigned int clang_inttypes_buf_size = sizeof(clang_inttypes_buf);
  