The material in this library is copyrighted by the ACM, which grants
general permission to distribute provided the copies are not made for
direct commercial advantage.  For details of the copyright and
dissemination agreement, consult the current issue of TOMS.