Verified cycle's through char's correctly