Some RFC822 parsing tools