An embedded and charset-unspecified text was scrubbed... Name: not available Url: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100125/6d7b0ff9/attachment.ksh