#define MUTEX_KIND 12
#define ROBUST_BIT 16
#define PI_BIT 32
#define PS_BIT 128
#define TID_MASK 1073741823