> On a system which has the bug, it should print two large numbers and two small numbers; on a system which does not have the bug, it should print one large number and three small numbers.

I built and ran the provided code on an AMD Zen 4 CPU, and it printed "two large numbers and two small numbers", so could this bug also be present in other microarchitectures implementing AVX-512 other than Skylake(-X)?