#include <stdio.h>

extern int qax(void);
extern int qux(void);

int main()
{
  printf("qux: %d qax: %d\n", qux(), qax());

  return 0;
}