/* { dg-options "-msve-vector-bits=512" } */

#include "attributes_1.c"