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