1extern void f_(void);
2int main (void)
3{
4  f_();
5  return 0;
6}
7