#include "pthread_impl.h"

int pthread_cond_init(pthread_cond_t* restrict c,
                      const pthread_condattr_t* restrict a) {
  *c = (pthread_cond_t){0};
  if (a) {
    c->_c_clock = a->__attr & 0x7fffffff;
    if (a->__attr >> 31)
      c->_c_shared = (void*)-1;
  }
  return 0;
}