(for (Val 0 (n0 (% (println (inc 'Val)) 6))))