#ifndef JOS_INC_LABELUTIL_H
#define JOS_INC_LABELUTIL_H

void    thread_label_cache_invalidate(void);
int64_t handle_alloc(void);

#endif