mono_environment_exitcode_get ()
{
  int32_t D.10751;

  D.10751 = exitcode;
  return D.10751;
}


mono_environment_exitcode_set (gint32 value)
{
  exitcode = value;
}


__attribute__((visibility ("hidden")))
ves_icall_System_Environment_GetOSVersionString ()
{
  int D.10753;
  struct MonoString * D.10756;
  struct MonoDomain * D.10757;
  struct MonoDomain * D.10758;
  struct utsname name;

  try
    {
      D.10753 = uname (&name);
      if (D.10753 >= 0) goto <D.10754>; else goto <D.10755>;
      <D.10754>:
      D.10757 = mono_domain_get ();
      D.10756 = mono_string_new (D.10757, &name.release);
      return D.10756;
      <D.10755>:
      D.10758 = mono_domain_get ();
      D.10756 = mono_string_new (D.10758, "0.0.0.0");
      return D.10756;
    }
  finally
    {
      name = {CLOBBER};
    }
}