1 L1 [] [] qs0 Todo cycle