#define NULL (char *) 0
int copyright_text_length = 5;
char *copyright_text[] = { 
  "copyright.text",
  "Copyright (C) 1999-2007 Lorenzo Bettini <http://www.lorenzobettini.it>",
  "This program comes with ABSOLUTELY NO WARRANTY.",
  "This is free software; you may redistribute copies of the program",
  "under the terms of the GNU General Public License.",
  "For more information about these matters, see the file named COPYING.",
  NULL };