mono_environment_exitcode_get ()
{
  int32_t D.10256;

  D.10256 = exitcode;
  return D.10256;
}


mono_environment_exitcode_set (gint32 value)
{
  exitcode = value;
}


ves_icall_System_Environment_GetOSVersionString ()
{
  int D.10258;
  struct MonoString * D.10261;
  struct MonoDomain * D.10262;
  struct MonoDomain * D.10263;
  struct utsname name;

  try
    {
      D.10258 = uname (&name);
      if (D.10258 >= 0) goto <D.10259>; else goto <D.10260>;
      <D.10259>:
      D.10262 = mono_domain_get ();
      D.10261 = mono_string_new (D.10262, &name.release);
      return D.10261;
      <D.10260>:
      D.10263 = mono_domain_get ();
      D.10261 = mono_string_new (D.10263, "0.0.0.0");
      return D.10261;
    }
  finally
    {
      name = {CLOBBER};
    }
}