#define AVX512VL
#define DO_TEST avx512vl_test
static void DO_TEST (void);
#include "avx512-check.h"