012_cyclic: in principle, I think this would verify.  However, I'm thinking it runs out of steps.