Customized mail-header parsers

["J. Penberthy" <JSP@ibm.com>]

I often get mail from IBM machines that have headers of the form

From: Zippy the Pinhead         Tl 123-4567                ZIPPY@IBMmacine

I'd like to write a customized mail-header parser that grabs
"Zippy@IBMMachine" from this header.  The algorithm appears simple:
look for the word " at " or "@", use the name to the left of the "@"
as the user, and the name to the right of the "@" as the machine.
ZMAIL ignores the header completely and adds the "(bad-header)"
notice to the status line whenever such a message is being reviewed.

Does anyone have any suggestions?

Thanks,
Scott Penberthy
JSP at IBM.COM