A programmable SMTP server