copyright notice, ACM copyright
Last modified: Sun May 11 12:00:26 EDT 2014