/* Generated automatically. DO NOT EDIT! */
#define SIMD_HEADER "simd-support/simd-avx.h"
#include "../common/t1sv_4.c"