Извлечь нижний 32-битный элемент из вектора AVX-512

Question

Есть ли что-то менее неловкое, чем это, чтобы получить наименее значимый элемент из __m512i?

int extract_bottom {
    return _mm256_extract_epi32(_mm512_castsi512_si256(v), 0);
}