1  extern void abort (void);
       2  extern void exit (int);
       3  
       4  int main ()
       5  {
       6    int a;
       7  
       8    a = __builtin_bfin_norm_fr1x16 (0);
       9    if (a != 15)
      10      abort ();
      11  
      12    exit (0);
      13  }
      14