-struct label *mac_lctx_label_alloc(void);
-void mac_lctx_label_free(struct label *label);
-void mac_lctx_label_update(struct lctx *l, struct label *newlabel);
-int mac_lctx_check_label_update(struct lctx *l, struct label *newlabel);
-void mac_lctx_notify_create(proc_t proc, struct lctx *l);
-void mac_lctx_notify_join(proc_t proc, struct lctx *l);
-void mac_lctx_notify_leave(proc_t proc, struct lctx *l);