Symbol: __print_cur_stree