Symbol: thmap_leaf_t