Symbol: esp6_output_tcp_encap