main (int argc, char * * argv)
{
  const char * info_compiler.0;
  sizetype argc.1;
  const char * D.1402;
  char D.1403;
  int D.1404;
  const char * info_platform.2;
  const char * D.1406;
  char D.1407;
  int D.1408;
  const char * info_arch.3;
  const char * D.1410;
  char D.1411;
  int D.1412;
  char D.1413;
  int D.1414;
  const char * info_language_dialect_default.4;
  const char * D.1416;
  char D.1417;
  int D.1418;
  int D.1419;
  int require;

  require = 0;
  info_compiler.0 = info_compiler;
  argc.1 = (sizetype) argc;
  D.1402 = info_compiler.0 + argc.1;
  D.1403 = *D.1402;
  D.1404 = (int) D.1403;
  require = D.1404 + require;
  info_platform.2 = info_platform;
  argc.1 = (sizetype) argc;
  D.1406 = info_platform.2 + argc.1;
  D.1407 = *D.1406;
  D.1408 = (int) D.1407;
  require = D.1408 + require;
  info_arch.3 = info_arch;
  argc.1 = (sizetype) argc;
  D.1410 = info_arch.3 + argc.1;
  D.1411 = *D.1410;
  D.1412 = (int) D.1411;
  require = D.1412 + require;
  D.1413 = info_version[argc];
  D.1414 = (int) D.1413;
  require = D.1414 + require;
  info_language_dialect_default.4 = info_language_dialect_default;
  argc.1 = (sizetype) argc;
  D.1416 = info_language_dialect_default.4 + argc.1;
  D.1417 = *D.1416;
  D.1418 = (int) D.1417;
  require = D.1418 + require;
  D.1419 = require;
  return D.1419;
}