void PalmHeader(char *progname);