void updateThreadLabel (StgWord key, void *data);
void * lookupThreadLabel (StgWord key);
void removeThreadLabel (StgWord key);
void updateThreadLabel (StgWord key, void *data);
void * lookupThreadLabel (StgWord key);
void removeThreadLabel (StgWord key);