"Spin4 example" "author : afmika" { "start first loop" { "start second loop" (+01>0<) ?y} "Checks if the y-accumulator is 0, if not restart the second loop" + "12 + 0" ?y} "Checks if the y-accumulator is 0, if not restart the first loop"