1  #include <stdio.h>
       2  
       3  void bar(void);
       4  int main(void)
       5  {
       6    bar();
       7    printf("OK\n");
       8    return 0;
       9  }