import jdk.incubator.vector.*;

public class Reduced {
    private static final VectorSpecies<Integer> SPECIES_I = IntVector.SPECIES_64;

    public static void main(String[] args) {
        int[] a = new int[10_000];
	for (int i = 0; i < 10_000; i++) {
	    test(a);
	}
    }

    public static int test(int[] a) {
        var mins = IntVector.broadcast(SPECIES_I, a[0]);
        int i = 0;
        for (; i < SPECIES_I.loopBound(a.length); i += SPECIES_I.length()) {
            mins = IntVector.fromArray(SPECIES_I, a, 0);
        }
        return mins.reduceLanes(VectorOperators.MIN);
    }
}