/* { dg-require-effective-target vect_int } */

#include "vect-peel-1-src.c"