/*
  All specification references correspond to pages in the Standard for Information Technology
Portable Operating System Interface (POSIX)IEEE Computer Society Base Specifications, Issue 7.

Standard modifications to each translation:
header files are altered
errors are changed to assertion violations with appropriate messages
appropriate definitions are changed to input variables
*/

#ifdef __PTHREAD__
#else
#define __PTHREAD__

#include <civlc.h>
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <stdbool.h>
#include <pthread.cvl>
int pthread_mutex_lock(pthread_mutex_t *mutex);
void _add_thread(__pthread_pool_t* pool, pthread_t* thread);
#include <pthread-c.cvl>

int pthread_exit(void *value_ptr);

void __VERIFIER_assume(void *p);

void __VERIFIER_assert(_Bool value);


#endif