Add comment to clarify what's going on for c for loop generation