#ifndef RLOCAL_H
#define RLOCAL_H

#include "runtime.h"
#include "tls.h"

void rcu_thread_init (int thread_id);
void lwt_thread_init (int thread_id);

#endif//RLOCAL_H