copyright notice, ACM copyright
Last modified: Sun May 11 09:52:57 EDT 2014