version_string
display_pager("Top version %s, %s\n", version_string(), copyright);
fprintf(stderr, "%s: version %s\n", myname, version_string());
version_string(), myname);
char *version_string();