mono_environment_exitcode_get ()
{
  int32_t D.10228;

  D.10228 = exitcode;
  return D.10228;
}


mono_environment_exitcode_set (gint32 value)
{
  exitcode = value;
}


ves_icall_System_Environment_GetOSVersionString ()
{
  int D.10230;
  struct MonoString * D.10233;
  struct MonoDomain * D.10234;
  struct MonoDomain * D.10235;
  struct utsname name;

  try
    {
      D.10230 = uname (&name);
      if (D.10230 >= 0) goto <D.10231>; else goto <D.10232>;
      <D.10231>:
      D.10234 = mono_domain_get ();
      D.10233 = mono_string_new (D.10234, &name.release);
      return D.10233;
      <D.10232>:
      D.10235 = mono_domain_get ();
      D.10233 = mono_string_new (D.10235, "0.0.0.0");
      return D.10233;
    }
  finally
    {
      name = {CLOBBER};
    }
}