mono_environment_exitcode_get ()
{
  int32_t D.12837;

  D.12837 = exitcode;
  return D.12837;
}


mono_environment_exitcode_set (gint32 value)
{
  exitcode = value;
}


ves_icall_System_Environment_GetOSVersionString ()
{
  int D.12839;
  struct MonoString * D.12842;
  struct MonoDomain * D.12843;
  struct MonoDomain * D.12844;
  struct utsname name;

  try
    {
      D.12839 = uname (&name);
      if (D.12839 >= 0) goto <D.12840>; else goto <D.12841>;
      <D.12840>:
      D.12843 = mono_domain_get ();
      D.12842 = mono_string_new (D.12843, &name.release);
      return D.12842;
      <D.12841>:
      D.12844 = mono_domain_get ();
      D.12842 = mono_string_new (D.12844, "0.0.0.0");
      return D.12842;
    }
  finally
    {
      name = {CLOBBER};
    }
}