extern void bar (void);
void
xxx (void)
{
  bar ();
}
