#include <stdio.h>

extern int bar (void);
extern int baz (void);

int
foo (void)
{
  int v1 = bar ();
  int v2 = baz ();

  printf ("bar=%d, baz=%d\n", v1, v2);

  return v1 != 666 || v2 != 42;
}