mono_environment_exitcode_get ()
{
  int32_t D.11092;

  D.11092 = exitcode;
  return D.11092;
}


mono_environment_exitcode_set (gint32 value)
{
  exitcode = value;
}


ves_icall_System_Environment_GetOSVersionString ()
{
  int D.11094;
  struct MonoString * D.11097;
  struct MonoDomain * D.11098;
  struct MonoDomain * D.11099;
  struct utsname name;

  try
    {
      D.11094 = uname (&name);
      if (D.11094 >= 0) goto <D.11095>; else goto <D.11096>;
      <D.11095>:
      D.11098 = mono_domain_get ();
      D.11097 = mono_string_new (D.11098, &name.release);
      return D.11097;
      <D.11096>:
      D.11099 = mono_domain_get ();
      D.11097 = mono_string_new (D.11099, "0.0.0.0");
      return D.11097;
    }
  finally
    {
      name = {CLOBBER};
    }
}