main (int argc, char * * argv)
{
  const char * info_compiler.0;
  sizetype D.1992;
  const char * D.1993;
  char D.1994;
  int D.1995;
  const char * info_platform.1;
  const char * D.1997;
  char D.1998;
  int D.1999;
  const char * info_arch.2;
  const char * D.2001;
  char D.2002;
  int D.2003;
  char D.2004;
  int D.2005;
  const char * info_language_dialect_default.3;
  const char * D.2007;
  char D.2008;
  int D.2009;
  int D.2010;

  {
    int require;

    require = 0;
    info_compiler.0 = info_compiler;
    D.1992 = (sizetype) argc;
    D.1993 = info_compiler.0 + D.1992;
    D.1994 = *D.1993;
    D.1995 = (int) D.1994;
    require = D.1995 + require;
    info_platform.1 = info_platform;
    D.1992 = (sizetype) argc;
    D.1997 = info_platform.1 + D.1992;
    D.1998 = *D.1997;
    D.1999 = (int) D.1998;
    require = D.1999 + require;
    info_arch.2 = info_arch;
    D.1992 = (sizetype) argc;
    D.2001 = info_arch.2 + D.1992;
    D.2002 = *D.2001;
    D.2003 = (int) D.2002;
    require = D.2003 + require;
    D.2004 = info_version[argc];
    D.2005 = (int) D.2004;
    require = D.2005 + require;
    info_language_dialect_default.3 = info_language_dialect_default;
    D.1992 = (sizetype) argc;
    D.2007 = info_language_dialect_default.3 + D.1992;
    D.2008 = *D.2007;
    D.2009 = (int) D.2008;
    require = D.2009 + require;
    D.2010 = require;
    return D.2010;
  }
  D.2010 = 0;
  return D.2010;
}