An embedded and charset-unspecified text was scrubbed... Name: not available Url: https://mailman.srv.cs.cmu.edu/mailman/private/connectionists/attachments/00000000/6598a804/attachment-0001.ksh