main (int argc, char * * argv)
{
  const char * info_compiler.0;
  sizetype D.2248;
  const char * D.2249;
  char D.2250;
  int D.2251;
  const char * info_platform.1;
  const char * D.2253;
  char D.2254;
  int D.2255;
  const char * info_arch.2;
  const char * D.2257;
  char D.2258;
  int D.2259;
  char D.2260;
  int D.2261;
  const char * info_language_dialect_default.3;
  const char * D.2263;
  char D.2264;
  int D.2265;
  int D.2266;
  int require;

  require = 0;
  info_compiler.0 = info_compiler;
  D.2248 = (sizetype) argc;
  D.2249 = info_compiler.0 + D.2248;
  D.2250 = *D.2249;
  D.2251 = (int) D.2250;
  require = D.2251 + require;
  info_platform.1 = info_platform;
  D.2248 = (sizetype) argc;
  D.2253 = info_platform.1 + D.2248;
  D.2254 = *D.2253;
  D.2255 = (int) D.2254;
  require = D.2255 + require;
  info_arch.2 = info_arch;
  D.2248 = (sizetype) argc;
  D.2257 = info_arch.2 + D.2248;
  D.2258 = *D.2257;
  D.2259 = (int) D.2258;
  require = D.2259 + require;
  D.2260 = info_version[argc];
  D.2261 = (int) D.2260;
  require = D.2261 + require;
  info_language_dialect_default.3 = info_language_dialect_default;
  D.2248 = (sizetype) argc;
  D.2263 = info_language_dialect_default.3 + D.2248;
  D.2264 = *D.2263;
  D.2265 = (int) D.2264;
  require = D.2265 + require;
  D.2266 = require;
  return D.2266;
}