mono_once (struct mono_once_t * once, void (*<Tf1f>) (void) once_init)
{
  int D.7919;
  long int D.7922;
  union pthread_mutex_t * D.7925;
  _Bool D.7926;
  long int D.7927;
  long int D.7928;
  int D.7937;
  int thr_ret;

  D.7919 = once->complete;
  if (D.7919 == 0) goto <D.7920>; else goto <D.7921>;
  <D.7920>:
  {
    struct __pthread_unwind_buf_t __cancel_buf;
    void (*<Tc1>) (void *) __cancel_routine;
    void * __cancel_arg;
    int __not_first_call;

    try
      {
        __cancel_routine = pthread_mutex_unlock;
        __cancel_arg = &once->mutex;
        __not_first_call = __sigsetjmp (&__cancel_buf.__cancel_jmp_buf, 0);
        D.7922 = __builtin_expect (__not_first_call, 0);
        if (D.7922 != 0) goto <D.7923>; else goto <D.7924>;
        <D.7923>:
        __cancel_routine (__cancel_arg);
        __pthread_unwind_next (&__cancel_buf);
        <D.7924>:
        __pthread_register_cancel (&__cancel_buf);
        D.7925 = &once->mutex;
        thr_ret = pthread_mutex_lock (D.7925);
        D.7926 = thr_ret != 0;
        D.7927 = (long int) D.7926;
        D.7928 = __builtin_expect (D.7927, 0);
        if (D.7928 != 0) goto <D.7929>; else goto <D.7930>;
        <D.7929>:
        monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mono-mutex.c", 83, "thr_ret == 0");
        <D.7930>:
        D.7919 = once->complete;
        if (D.7919 == 0) goto <D.7931>; else goto <D.7932>;
        <D.7931>:
        once_init ();
        once->complete = 1;
        <D.7932>:
        D.7925 = &once->mutex;
        thr_ret = pthread_mutex_unlock (D.7925);
        D.7926 = thr_ret != 0;
        D.7927 = (long int) D.7926;
        D.7928 = __builtin_expect (D.7927, 0);
        if (D.7928 != 0) goto <D.7933>; else goto <D.7934>;
        <D.7933>:
        monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mono-mutex.c", 90, "thr_ret == 0");
        <D.7934>:
        __pthread_unregister_cancel (&__cancel_buf);
        if (0 != 0) goto <D.7935>; else goto <D.7936>;
        <D.7935>:
        __cancel_routine (__cancel_arg);
        <D.7936>:
      }
    finally
      {
        __cancel_buf = {CLOBBER};
      }
  }
  <D.7921>:
  D.7937 = 0;
  return D.7937;
}


mono_mutex_init_suspend_safe (union mono_mutex_t * mutex)
{
  int D.7941;

  D.7941 = pthread_mutex_init (mutex, 0B);
  return D.7941;
}