#include <pthread.h>
#include "tls.h"
-extern DECLARE_THREAD_LOCAL(tid_, int);
-
-int nbd_thread_create (pthread_t *restrict thread, int thread_id, void *(*start_routine)(void *), void *restrict arg);
+void nbd_thread_init (void);
uint64_t nbd_rand (void);
-uint64_t nbd_rand_seed (int i);
-int nbd_next_rand (uint64_t *r);
#endif//RUNTIME_H