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