#include "pthread_impl.h"
int pthread_mutexattr_init(pthread_mutexattr_t *a)
{
*a = (pthread_mutexattr_t){0};
return 0;
}