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