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