Or another way is `for (c <- codec)`