1 #include <stdio.h>
2 #include "pr12942a.h"
3 
4 test_t b(void);
5 
6 int
main(void)7 main(void)
8 {
9   if (test != b ())
10     __builtin_abort ();
11 
12   printf ("OK\n");
13   return 0;
14 }
15