Aha, I thought you might say that.

I'd like to see the ip destination out of the ip header, in addition to
the information already put in the header.

How the header gets extended in an elegant fashion, I'm unsure.