#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;

}