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

#if EXIT_EXAMPLE 

pthread_t thread15[20];

void *task15(void *arg)
{
  int ntask=(unsigned) arg;
  rtl_printf("Tarea %d\n",ntask);
//  return 0;
  pthread_exit(0);
};

#endif