/* { dg-do compile } */
/* { dg-require-effective-target arm_thumb2_ok } */

#include <arm_acle.h>

int main ()
{
  return 0;
}