Benchmark: timing 10000 iterations of ZZamboni, chromatic...
  ZZamboni: 12 wallclock secs ( 5.64 usr +  0.00 sys =  5.64 CPU)
 chromatic: 19 wallclock secs ( 8.10 usr +  0.01 sys =  8.11 CPU)