main (int argc, char * * argv)
{
  const char * info_compiler.0;
  sizetype argc.1;
  const char * D.1404;
  char D.1405;
  int D.1406;
  const char * info_platform.2;
  const char * D.1408;
  char D.1409;
  int D.1410;
  const char * info_arch.3;
  const char * D.1412;
  char D.1413;
  int D.1414;
  char D.1415;
  int D.1416;
  const char * info_language_dialect_default.4;
  const char * D.1418;
  char D.1419;
  int D.1420;
  int D.1421;
  int require;

  require = 0;
  info_compiler.0 = info_compiler;
  argc.1 = (sizetype) argc;
  D.1404 = info_compiler.0 + argc.1;
  D.1405 = *D.1404;
  D.1406 = (int) D.1405;
  require = D.1406 + require;
  info_platform.2 = info_platform;
  argc.1 = (sizetype) argc;
  D.1408 = info_platform.2 + argc.1;
  D.1409 = *D.1408;
  D.1410 = (int) D.1409;
  require = D.1410 + require;
  info_arch.3 = info_arch;
  argc.1 = (sizetype) argc;
  D.1412 = info_arch.3 + argc.1;
  D.1413 = *D.1412;
  D.1414 = (int) D.1413;
  require = D.1414 + require;
  D.1415 = info_version[argc];
  D.1416 = (int) D.1415;
  require = D.1416 + require;
  info_language_dialect_default.4 = info_language_dialect_default;
  argc.1 = (sizetype) argc;
  D.1418 = info_language_dialect_default.4 + argc.1;
  D.1419 = *D.1418;
  D.1420 = (int) D.1419;
  require = D.1420 + require;
  D.1421 = require;
  return D.1421;
}