Symbol: gen_trees_header