AVX-512: decoder for AVX-512, made by Alexey Bader.