Another SIGPLAN Notices problem