mono_environment_exitcode_get ()
{
  int32_t D.10578;

  D.10578 = exitcode;
  return D.10578;
}


mono_environment_exitcode_set (gint32 value)
{
  exitcode = value;
}


ves_icall_System_Environment_GetOSVersionString ()
{
  int D.10580;
  struct MonoString * D.10583;
  struct MonoDomain * D.10584;
  struct MonoDomain * D.10585;
  struct utsname name;

  try
    {
      D.10580 = uname (&name);
      if (D.10580 >= 0) goto <D.10581>; else goto <D.10582>;
      <D.10581>:
      D.10584 = mono_domain_get ();
      D.10583 = mono_string_new (D.10584, &name.release);
      return D.10583;
      <D.10582>:
      D.10585 = mono_domain_get ();
      D.10583 = mono_string_new (D.10585, "0.0.0.0");
      return D.10583;
    }
  finally
    {
      name = {CLOBBER};
    }
}