#include <stdio.h>

extern int lib1_function(void);

int main(void)
{
  fprintf(stdout, "Hello from program.c\n");
  fflush(stdout);
  fprintf(stdout, "Got %d.\n", lib1_function());
  fflush(stdout);
  return 0;
}