/*
  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.cvh>
#include <concurrency.cvh>
#include <seq.cvh>
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <stdbool.h>
#include <pthread-types.cvl>
#include <pthread-functions.cvl>
#include <svcomp.cvl>

int pthread_exit(void *value_ptr);

void __VERIFIER_assume(void *p);

void __VERIFIER_assert(_Bool value);


#endif