He sets it once like this before the loops.
__m256i c = _mm256_set1_epi32(10001);
And then the disassembly has mov eax, 10001
vpbroadcastd ymm1, eax
before each loop.