benchmark.pl in /examples, uniquePush2 changes (still broken)