#include <stdio.h>

/* define external functions */
extern void football();
extern void ok();
extern void big12();

int main()
{
    printf("Inside main()\n");

    /* use a function from each object file that is in the library */
    football();
    ok();
    big12();

    return 0;
}