Mono_Posix_Syscall_L_ctermid ()
{
  int D.6651;

  D.6651 = 9;
  return D.6651;
}


Mono_Posix_Syscall_L_cuserid ()
{
  int D.6653;

  D.6653 = 9;
  return D.6653;
}


Mono_Posix_Stdlib_fread (unsigned char * ptr, mph_size_t size, mph_size_t nmemb, void * stream)
{
  int * D.6657;
  guint64 D.6658;

  if (0 != 0) goto <D.6655>; else goto <D.6656>;
  <D.6655>:
  D.6657 = __errno_location ();
  *D.6657 = 75;
  D.6658 = 18446744073709551615;
  return D.6658;
  <D.6656>:
  if (0 != 0) goto <D.6659>; else goto <D.6660>;
  <D.6659>:
  D.6657 = __errno_location ();
  *D.6657 = 75;
  D.6658 = 18446744073709551615;
  return D.6658;
  <D.6660>:
  D.6658 = fread (ptr, size, nmemb, stream);
  return D.6658;
}


fread (void * restrict __ptr, size_t __size, size_t __n, struct FILE * restrict __stream)
{
  long unsigned int D.6662;
  int D.6667;
  int D.6669;
  long unsigned int D.6671;
  size_t D.6672;
  long unsigned int D.6673;
  long unsigned int D.6674;
  long unsigned int D.6675;
  long unsigned int D.6678;

  D.6662 = __builtin_object_size (__ptr, 0);
  if (D.6662 != 18446744073709551615) goto <D.6663>; else goto <D.6664>;
  <D.6663>:
  D.6667 = __builtin_constant_p (__size);
  if (D.6667 == 0) goto <D.6665>; else goto <D.6668>;
  <D.6668>:
  D.6669 = __builtin_constant_p (__n);
  if (D.6669 == 0) goto <D.6665>; else goto <D.6670>;
  <D.6670>:
  D.6671 = __size | __n;
  if (D.6671 > 4294967295) goto <D.6665>; else goto <D.6666>;
  <D.6665>:
  D.6673 = __builtin_object_size (__ptr, 0);
  D.6672 = __fread_chk (__ptr, D.6673, __size, __n, __stream);
  return D.6672;
  <D.6666>:
  D.6674 = __size * __n;
  D.6675 = __builtin_object_size (__ptr, 0);
  if (D.6674 > D.6675) goto <D.6676>; else goto <D.6677>;
  <D.6676>:
  D.6678 = __builtin_object_size (__ptr, 0);
  D.6672 = __fread_chk_warn (__ptr, D.6678, __size, __n, __stream);
  return D.6672;
  <D.6677>:
  <D.6664>:
  D.6672 = __fread_alias (__ptr, __size, __n, __stream);
  return D.6672;
}


Mono_Posix_Stdlib_fwrite (unsigned char * ptr, mph_size_t size, mph_size_t nmemb, void * stream)
{
  int * D.6682;
  guint64 D.6683;

  if (0 != 0) goto <D.6680>; else goto <D.6681>;
  <D.6680>:
  D.6682 = __errno_location ();
  *D.6682 = 75;
  D.6683 = 18446744073709551615;
  return D.6683;
  <D.6681>:
  if (0 != 0) goto <D.6684>; else goto <D.6685>;
  <D.6684>:
  D.6682 = __errno_location ();
  *D.6682 = 75;
  D.6683 = 18446744073709551615;
  return D.6683;
  <D.6685>:
  D.6683 = fwrite (ptr, size, nmemb, stream);
  return D.6683;
}


Mono_Posix_Stdlib_snprintf (char * s, mph_size_t n, char * format)
{
  int * D.6689;
  gint32 D.6690;
  struct  ap[1];
  gint32 r;

  try
    {
      if (0 != 0) goto <D.6687>; else goto <D.6688>;
      <D.6687>:
      D.6689 = __errno_location ();
      *D.6689 = 75;
      D.6690 = -1;
      return D.6690;
      <D.6688>:
      __builtin_va_start (&ap, 0);
      r = vsnprintf (s, n, format, &ap);
      __builtin_va_end (&ap);
      D.6690 = r;
      return D.6690;
    }
  finally
    {
      ap = {CLOBBER};
    }
}


vsnprintf (char * restrict __s, size_t __n, const char * restrict __fmt, struct  * __ap)
{
  int D.6693;
  long unsigned int D.6694;

  D.6694 = __builtin_object_size (__s, 1);
  D.6693 = __builtin___vsnprintf_chk (__s, __n, 1, D.6694, __fmt, __ap);
  return D.6693;
}


Mono_Posix_Stdlib__IOFBF ()
{
  int D.6696;

  D.6696 = 0;
  return D.6696;
}


Mono_Posix_Stdlib__IOLBF ()
{
  int D.6698;

  D.6698 = 1;
  return D.6698;
}


Mono_Posix_Stdlib__IONBF ()
{
  int D.6700;

  D.6700 = 2;
  return D.6700;
}


Mono_Posix_Stdlib_BUFSIZ ()
{
  int D.6702;

  D.6702 = 8192;
  return D.6702;
}


Mono_Posix_Stdlib_EOF ()
{
  int D.6704;

  D.6704 = -1;
  return D.6704;
}


Mono_Posix_Stdlib_FOPEN_MAX ()
{
  int D.6706;

  D.6706 = 16;
  return D.6706;
}


Mono_Posix_Stdlib_FILENAME_MAX ()
{
  int D.6708;

  D.6708 = 4096;
  return D.6708;
}


Mono_Posix_Stdlib_L_tmpnam ()
{
  int D.6710;

  D.6710 = 20;
  return D.6710;
}


Mono_Posix_Stdlib_stdin ()
{
  void * D.6712;

  D.6712 = stdin;
  return D.6712;
}


Mono_Posix_Stdlib_stdout ()
{
  void * D.6714;

  D.6714 = stdout;
  return D.6714;
}


Mono_Posix_Stdlib_stderr ()
{
  void * D.6716;

  D.6716 = stderr;
  return D.6716;
}


Mono_Posix_Stdlib_TMP_MAX ()
{
  int D.6718;

  D.6718 = 238328;
  return D.6718;
}


Mono_Posix_Stdlib_setvbuf (void * stream, void * buf, int mode, mph_size_t size)
{
  int * D.6722;
  int D.6723;

  if (0 != 0) goto <D.6720>; else goto <D.6721>;
  <D.6720>:
  D.6722 = __errno_location ();
  *D.6722 = 75;
  D.6723 = -1;
  return D.6723;
  <D.6721>:
  D.6723 = setvbuf (stream, buf, mode, size);
  return D.6723;
}


Mono_Posix_Stdlib_setbuf (void * stream, void * buf)
{
  int D.6725;

  setbuf (stream, buf);
  D.6725 = 0;
  return D.6725;
}


Mono_Posix_Stdlib_fseek (void * stream, gint64 offset, int origin)
{
  int * D.6729;
  int D.6730;

  if (0 != 0) goto <D.6727>; else goto <D.6728>;
  <D.6727>:
  D.6729 = __errno_location ();
  *D.6729 = 75;
  D.6730 = -1;
  return D.6730;
  <D.6728>:
  D.6730 = fseek (stream, offset, origin);
  return D.6730;
}


Mono_Posix_Stdlib_ftell (void * stream)
{
  gint64 D.6732;

  D.6732 = ftell (stream);
  return D.6732;
}


Mono_Posix_Stdlib_CreateFilePosition ()
{
  void * D.6734;
  struct fpos_t * pos;

  pos = malloc (16);
  D.6734 = pos;
  return D.6734;
}


Mono_Posix_Stdlib_fgetpos (void * stream, void * pos)
{
  int D.6736;

  D.6736 = fgetpos (stream, pos);
  return D.6736;
}


Mono_Posix_Stdlib_fsetpos (void * stream, void * pos)
{
  int D.6738;

  D.6738 = fsetpos (stream, pos);
  return D.6738;
}


Mono_Posix_Stdlib_rewind (void * stream)
{
  int * D.6740;
  int D.6741;
  _Bool D.6744;
  _Bool D.6745;
  _Bool D.6746;
  _Bool D.6748;
  _Bool D.6749;
  _Bool D.6750;
  int D.6752;
  _Bool D.6755;
  _Bool D.6756;
  _Bool D.6757;
  _Bool D.6759;
  _Bool D.6760;
  _Bool D.6761;

  <D.6628>:
  rewind (stream);
  D.6740 = __errno_location ();
  D.6741 = *D.6740;
  if (D.6741 == 4) goto <D.6628>; else goto <D.6629>;
  <D.6629>:
  {
    int v;

    D.6740 = __errno_location ();
    v = *D.6740;
    D.6744 = v == 11;
    D.6745 = v == 9;
    D.6746 = D.6744 | D.6745;
    if (D.6746 != 0) goto <D.6742>; else goto <D.6747>;
    <D.6747>:
    D.6748 = v == 27;
    D.6749 = v == 22;
    D.6750 = D.6748 | D.6749;
    if (D.6750 != 0) goto <D.6742>; else goto <D.6751>;
    <D.6751>:
    if (v == 5) goto <D.6742>; else goto <D.6743>;
    <D.6742>:
    D.6752 = -1;
    return D.6752;
    <D.6743>:
  }
  {
    int v;

    D.6740 = __errno_location ();
    v = *D.6740;
    D.6755 = v == 28;
    D.6756 = v == 6;
    D.6757 = D.6755 | D.6756;
    if (D.6757 != 0) goto <D.6753>; else goto <D.6758>;
    <D.6758>:
    D.6759 = v == 75;
    D.6760 = v == 32;
    D.6761 = D.6759 | D.6760;
    if (D.6761 != 0) goto <D.6753>; else goto <D.6762>;
    <D.6762>:
    if (v == 29) goto <D.6753>; else goto <D.6754>;
    <D.6753>:
    D.6752 = -1;
    return D.6752;
    <D.6754>:
  }
  D.6752 = 0;
  return D.6752;
}


Mono_Posix_Stdlib_clearerr (void * stream)
{
  int D.6764;

  clearerr (stream);
  D.6764 = 0;
  return D.6764;
}


Mono_Posix_Stdlib_perror (const char * s, int err)
{
  int * D.6766;
  int D.6767;

  D.6766 = __errno_location ();
  *D.6766 = err;
  perror (s);
  D.6767 = 0;
  return D.6767;
}


Mono_Posix_Stdlib_DumpFilePosition (char * dest, void * pos, gint32 len)
{
  int D.6771;
  _Bool D.6772;
  _Bool D.6773;
  _Bool D.6774;
  int * D.6777;
  unsigned char D.6778;
  int D.6779;
  _Bool D.6780;
  _Bool D.6781;
  _Bool D.6782;
  char * D.6785;
  long int destp.0;
  long int dest.1;
  long int D.6788;
  char * destp;
  unsigned char * posp;
  unsigned char * pose;

  if (dest == 0B) goto <D.6769>; else goto <D.6770>;
  <D.6769>:
  D.6771 = 32;
  return D.6771;
  <D.6770>:
  D.6772 = pos == 0B;
  D.6773 = len <= 0;
  D.6774 = D.6772 | D.6773;
  if (D.6774 != 0) goto <D.6775>; else goto <D.6776>;
  <D.6775>:
  D.6777 = __errno_location ();
  *D.6777 = 22;
  D.6771 = -1;
  return D.6771;
  <D.6776>:
  posp = pos;
  pose = posp + 16;
  destp = dest;
  goto <D.6648>;
  <D.6647>:
  D.6778 = *posp;
  D.6779 = (int) D.6778;
  sprintf (destp, "%02X", D.6779);
  destp = destp + 2;
  posp = posp + 1;
  len = len + -2;
  <D.6648>:
  D.6780 = posp < pose;
  D.6781 = len > 1;
  D.6782 = D.6780 & D.6781;
  if (D.6782 != 0) goto <D.6647>; else goto <D.6649>;
  <D.6649>:
  if (len != 0) goto <D.6783>; else goto <D.6784>;
  <D.6783>:
  D.6785 = dest + 32;
  *D.6785 = 0;
  <D.6784>:
  destp.0 = (long int) destp;
  dest.1 = (long int) dest;
  D.6788 = destp.0 - dest.1;
  D.6771 = (int) D.6788;
  return D.6771;
}


sprintf (char * restrict __s, const char * restrict __fmt)
{
  int D.6790;
  long unsigned int D.6791;

  D.6791 = __builtin_object_size (__s, 1);
  D.6790 = __builtin___sprintf_chk (__s, 1, D.6791, __fmt, __builtin_va_arg_pack ());
  return D.6790;
}