char *progname = "A program that uses libfile.a";