FAST_HOLEY_DOUBLE_ELEMENTS   50 src/elements-kind.h FAST_HOLEY_DOUBLE_ELEMENTS,
FAST_HOLEY_DOUBLE_ELEMENTS   70 src/elements-kind.h LAST_FAST_ELEMENTS_KIND = FAST_HOLEY_DOUBLE_ELEMENTS,