#ifndef _PTHREAD_POSIX_H_
#define _PTHREAD_POSIX_H_

#define __WAIT_STATUS int *
#include <pthread/types.h>

#endif