Mono_Posix_Stdlib_EXIT_FAILURE ()
{
  int D.6554;

  D.6554 = 1;
  return D.6554;
}


Mono_Posix_Stdlib_EXIT_SUCCESS ()
{
  int D.6556;

  D.6556 = 0;
  return D.6556;
}


Mono_Posix_Stdlib_MB_CUR_MAX ()
{
  int D.6558;
  long unsigned int D.6559;

  D.6559 = __ctype_get_mb_cur_max ();
  D.6558 = (int) D.6559;
  return D.6558;
}


Mono_Posix_Stdlib_RAND_MAX ()
{
  int D.6561;

  D.6561 = 2147483647;
  return D.6561;
}


Mono_Posix_Stdlib_calloc (mph_size_t nmemb, mph_size_t size)
{
  void * D.6565;

  if (0 != 0) goto <D.6563>; else goto <D.6564>;
  <D.6563>:
  D.6565 = 0B;
  return D.6565;
  <D.6564>:
  D.6565 = calloc (nmemb, size);
  return D.6565;
}


Mono_Posix_Stdlib_malloc (mph_size_t size)
{
  void * D.6569;

  if (0 != 0) goto <D.6567>; else goto <D.6568>;
  <D.6567>:
  D.6569 = 0B;
  return D.6569;
  <D.6568>:
  D.6569 = malloc (size);
  return D.6569;
}


Mono_Posix_Stdlib_realloc (void * ptr, mph_size_t size)
{
  void * D.6573;

  if (0 != 0) goto <D.6571>; else goto <D.6572>;
  <D.6571>:
  D.6573 = 0B;
  return D.6573;
  <D.6572>:
  D.6573 = realloc (ptr, size);
  return D.6573;
}