Formatting: "for (V...s)"