fix_tcbtree_bug