Update cool-tree.h