void PalmHeader(char *progname);

.