void mem_init (void);
void lwt_init (void);

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