Got Example1 working under new stepping. Decided to rewrite red into step.