extern void f_(void);
int main (void)
{
  f_();
  return 0;
}