/* { dg-do compile } */
/* { dg-require-effective-target arm_thumb2_ok } */
#include <arm_acle.h>
int main ()
{
return 0;
}
/* { dg-do compile } */
/* { dg-require-effective-target arm_thumb2_ok } */
#include <arm_acle.h>
int main ()
{
return 0;
}