#include <rtl_conf.h>
#include <time.h>
#include <pthread.h>
#include <rtl_ipc.h>
#include <semaphore.h>
#include <rtl_barrier.h>
#include <rtl_printf.h>
#include <unistd.h>
#include "examples.h"
//#include <math.h>

#ifdef TANK_EXAMPLE
pthread_t thread16;
pthread_t thread17;
pthread_t thread18;
pthread_t thread19;


#endif // TANK_EXAMPLE