printf("| %25s = %-7d |\n","MAX_LABELS",MAX_LABELS);
printf("| %25s = %-7d |\n","MAX_LINESPACE",MAX_LINESPACE);
printf("| %25s = %-7d |\n","MAX_LINK_DATA_SIZE",MAX_LINK_DATA_SIZE);
printf("| %25s = %-7d |\n","MAX_LABELS",MAX_LABELS);
printf("| %25s = %-7d |\n","MAX_LINESPACE",MAX_LINESPACE);
printf("| %25s = %-7d |\n","MAX_LINK_DATA_SIZE",MAX_LINK_DATA_SIZE);