[Exim] simpler way of writing this?

Is there currently a shorter way of getting the whole address out of a
string, other than ${local_part:$header_From:}@${domain:$header_From:}?

-D

--

The crucible for silver and the furnace for gold,
but the Lord tests the heart.
        Proverbs 17:3