Home | History | Annotate | Line # | Download | only in cgram
cgram.c revision 1.12
      1  1.12    rillig /* $NetBSD: cgram.c,v 1.12 2021/02/22 16:28:20 rillig Exp $ */
      2   1.4    rillig 
      3   1.1  dholland /*-
      4  1.10    rillig  * Copyright (c) 2013, 2021 The NetBSD Foundation, Inc.
      5   1.1  dholland  * All rights reserved.
      6   1.1  dholland  *
      7   1.1  dholland  * This code is derived from software contributed to The NetBSD Foundation
      8  1.10    rillig  * by David A. Holland and Roland Illig.
      9   1.1  dholland  *
     10   1.1  dholland  * Redistribution and use in source and binary forms, with or without
     11   1.1  dholland  * modification, are permitted provided that the following conditions
     12   1.1  dholland  * are met:
     13   1.1  dholland  * 1. Redistributions of source code must retain the above copyright
     14   1.1  dholland  *    notice, this list of conditions and the following disclaimer.
     15   1.1  dholland  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.1  dholland  *    notice, this list of conditions and the following disclaimer in the
     17   1.1  dholland  *    documentation and/or other materials provided with the distribution.
     18   1.1  dholland  *
     19   1.1  dholland  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20   1.1  dholland  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21   1.1  dholland  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22   1.1  dholland  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23   1.1  dholland  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24   1.1  dholland  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25   1.1  dholland  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26   1.1  dholland  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27   1.1  dholland  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28   1.1  dholland  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29   1.1  dholland  * POSSIBILITY OF SUCH DAMAGE.
     30   1.1  dholland  */
     31   1.1  dholland 
     32  1.10    rillig #include <sys/cdefs.h>
     33  1.10    rillig #if defined(__RCSID) && !defined(lint)
     34  1.12    rillig __RCSID("$NetBSD: cgram.c,v 1.12 2021/02/22 16:28:20 rillig Exp $");
     35  1.10    rillig #endif
     36  1.10    rillig 
     37   1.5    rillig #include <assert.h>
     38   1.5    rillig #include <ctype.h>
     39   1.5    rillig #include <curses.h>
     40   1.5    rillig #include <err.h>
     41   1.6    rillig #include <stdbool.h>
     42   1.1  dholland #include <stdio.h>
     43   1.5    rillig #include <stdlib.h>
     44   1.1  dholland #include <string.h>
     45   1.1  dholland #include <time.h>
     46   1.5    rillig 
     47   1.1  dholland #include "pathnames.h"
     48   1.1  dholland 
     49   1.1  dholland ////////////////////////////////////////////////////////////
     50   1.1  dholland 
     51   1.8    rillig static char
     52   1.8    rillig ch_toupper(char ch)
     53   1.8    rillig {
     54   1.8    rillig 	return (char)toupper((unsigned char)ch);
     55   1.8    rillig }
     56   1.8    rillig 
     57   1.8    rillig static char
     58   1.8    rillig ch_tolower(char ch)
     59   1.8    rillig {
     60   1.8    rillig 	return (char)tolower((unsigned char)ch);
     61   1.8    rillig }
     62   1.8    rillig 
     63   1.8    rillig static bool
     64   1.8    rillig ch_isalpha(char ch)
     65   1.8    rillig {
     66  1.10    rillig 	return isalpha((unsigned char)ch) != 0;
     67   1.8    rillig }
     68   1.8    rillig 
     69   1.8    rillig static bool
     70   1.8    rillig ch_islower(char ch)
     71   1.8    rillig {
     72  1.10    rillig 	return islower((unsigned char)ch) != 0;
     73   1.8    rillig }
     74   1.8    rillig 
     75   1.8    rillig static bool
     76   1.8    rillig ch_isupper(char ch)
     77   1.8    rillig {
     78  1.10    rillig 	return isupper((unsigned char)ch) != 0;
     79  1.10    rillig }
     80  1.10    rillig 
     81  1.10    rillig static int
     82  1.10    rillig imax(int a, int b)
     83  1.10    rillig {
     84  1.10    rillig 	return a > b ? a : b;
     85  1.10    rillig }
     86  1.10    rillig 
     87  1.10    rillig static int
     88  1.10    rillig imin(int a, int b)
     89  1.10    rillig {
     90  1.10    rillig 	return a < b ? a : b;
     91   1.8    rillig }
     92   1.8    rillig 
     93   1.1  dholland ////////////////////////////////////////////////////////////
     94   1.1  dholland 
     95  1.10    rillig struct string {
     96  1.10    rillig 	char *s;
     97  1.10    rillig 	size_t len;
     98  1.10    rillig 	size_t cap;
     99  1.10    rillig };
    100  1.10    rillig 
    101   1.1  dholland struct stringarray {
    102  1.10    rillig 	struct string *v;
    103   1.9    rillig 	size_t num;
    104   1.1  dholland };
    105   1.1  dholland 
    106   1.4    rillig static void
    107  1.10    rillig string_init(struct string *s)
    108  1.10    rillig {
    109  1.10    rillig 	s->s = NULL;
    110  1.10    rillig 	s->len = 0;
    111  1.10    rillig 	s->cap = 0;
    112  1.10    rillig }
    113  1.10    rillig 
    114  1.10    rillig static void
    115  1.10    rillig string_add(struct string *s, char ch)
    116  1.10    rillig {
    117  1.10    rillig 	if (s->len >= s->cap) {
    118  1.10    rillig 		s->cap = 2 * s->cap + 16;
    119  1.10    rillig 		s->s = realloc(s->s, s->cap);
    120  1.10    rillig 		if (s->s == NULL)
    121  1.10    rillig 			errx(1, "Out of memory");
    122  1.10    rillig 	}
    123  1.10    rillig 	s->s[s->len++] = ch;
    124  1.10    rillig }
    125  1.10    rillig 
    126  1.10    rillig static void
    127  1.10    rillig string_finish(struct string *s)
    128  1.10    rillig {
    129  1.10    rillig 	string_add(s, '\0');
    130  1.10    rillig 	s->len--;
    131  1.10    rillig }
    132  1.10    rillig 
    133  1.10    rillig static void
    134   1.4    rillig stringarray_init(struct stringarray *a)
    135   1.4    rillig {
    136   1.4    rillig 	a->v = NULL;
    137   1.4    rillig 	a->num = 0;
    138   1.4    rillig }
    139   1.4    rillig 
    140   1.4    rillig static void
    141   1.4    rillig stringarray_cleanup(struct stringarray *a)
    142   1.4    rillig {
    143  1.10    rillig 	for (size_t i = 0; i < a->num; i++)
    144  1.10    rillig 		free(a->v[i].s);
    145   1.4    rillig 	free(a->v);
    146   1.4    rillig }
    147   1.4    rillig 
    148   1.4    rillig static void
    149  1.10    rillig stringarray_add(struct stringarray *a, struct string *s)
    150   1.4    rillig {
    151  1.10    rillig 	size_t num = a->num++;
    152  1.10    rillig 	a->v = realloc(a->v, a->num * sizeof a->v[0]);
    153  1.10    rillig 	if (a->v == NULL)
    154   1.4    rillig 		errx(1, "Out of memory");
    155  1.10    rillig 	a->v[num] = *s;
    156  1.10    rillig }
    157  1.10    rillig 
    158  1.10    rillig static void
    159  1.10    rillig stringarray_dup(struct stringarray *dst, const struct stringarray *src)
    160  1.10    rillig {
    161  1.10    rillig 	assert(dst->num == 0);
    162  1.10    rillig 	for (size_t i = 0; i < src->num; i++) {
    163  1.10    rillig 		struct string str;
    164  1.10    rillig 		string_init(&str);
    165  1.10    rillig 		for (const char *p = src->v[i].s; *p != '\0'; p++)
    166  1.10    rillig 			string_add(&str, *p);
    167  1.10    rillig 		string_finish(&str);
    168  1.10    rillig 		stringarray_add(dst, &str);
    169   1.4    rillig 	}
    170   1.1  dholland }
    171   1.1  dholland 
    172   1.1  dholland ////////////////////////////////////////////////////////////
    173   1.1  dholland 
    174   1.1  dholland static struct stringarray lines;
    175   1.1  dholland static struct stringarray sollines;
    176   1.1  dholland static bool hinting;
    177  1.10    rillig static int extent_x;
    178  1.10    rillig static int extent_y;
    179  1.10    rillig static int offset_x;
    180  1.10    rillig static int offset_y;
    181  1.10    rillig static int cursor_x;
    182  1.10    rillig static int cursor_y;
    183  1.10    rillig 
    184  1.10    rillig static int
    185  1.10    rillig cur_max_x(void)
    186  1.10    rillig {
    187  1.10    rillig 	return (int)lines.v[cursor_y].len;
    188  1.10    rillig }
    189  1.10    rillig 
    190  1.10    rillig static int
    191  1.10    rillig cur_max_y(void)
    192  1.10    rillig {
    193  1.10    rillig 	return extent_y - 1;
    194  1.10    rillig }
    195   1.1  dholland 
    196   1.4    rillig static void
    197   1.4    rillig readquote(void)
    198   1.4    rillig {
    199   1.4    rillig 	FILE *f = popen(_PATH_FORTUNE, "r");
    200  1.10    rillig 	if (f == NULL)
    201   1.4    rillig 		err(1, "%s", _PATH_FORTUNE);
    202  1.10    rillig 
    203  1.10    rillig 	struct string line;
    204  1.10    rillig 	string_init(&line);
    205  1.10    rillig 
    206  1.10    rillig 	int ch;
    207  1.10    rillig 	while ((ch = fgetc(f)) != EOF) {
    208  1.10    rillig 		if (ch == '\n') {
    209  1.10    rillig 			string_finish(&line);
    210  1.10    rillig 			stringarray_add(&lines, &line);
    211  1.10    rillig 			string_init(&line);
    212  1.10    rillig 		} else if (ch == '\t') {
    213  1.10    rillig 			string_add(&line, ' ');
    214  1.10    rillig 			while (line.len % 8 != 0)
    215  1.10    rillig 				string_add(&line, ' ');
    216  1.10    rillig 		} else if (ch == '\b') {
    217  1.10    rillig 			if (line.len > 0)
    218  1.10    rillig 				line.len--;
    219  1.10    rillig 		} else {
    220  1.10    rillig 			string_add(&line, (char)ch);
    221  1.10    rillig 		}
    222   1.4    rillig 	}
    223   1.4    rillig 
    224  1.10    rillig 	stringarray_dup(&sollines, &lines);
    225   1.4    rillig 
    226  1.10    rillig 	extent_y = (int)lines.num;
    227  1.10    rillig 	for (int i = 0; i < extent_y; i++)
    228  1.10    rillig 		extent_x = imax(extent_x, (int)lines.v[i].len);
    229   1.4    rillig 
    230  1.12    rillig 	if (pclose(f) != 0)
    231  1.12    rillig 		exit(1); /* error message must come from child process */
    232   1.4    rillig }
    233   1.4    rillig 
    234   1.4    rillig static void
    235   1.4    rillig encode(void)
    236   1.4    rillig {
    237   1.4    rillig 	int key[26];
    238   1.9    rillig 
    239   1.4    rillig 	for (int i = 0; i < 26; i++)
    240   1.4    rillig 		key[i] = i;
    241   1.9    rillig 
    242   1.4    rillig 	for (int i = 26; i > 1; i--) {
    243   1.9    rillig 		int c = (int)(random() % i);
    244   1.4    rillig 		int t = key[i - 1];
    245   1.4    rillig 		key[i - 1] = key[c];
    246   1.4    rillig 		key[c] = t;
    247   1.4    rillig 	}
    248   1.4    rillig 
    249  1.10    rillig 	for (int y = 0; y < extent_y; y++) {
    250  1.10    rillig 		for (char *p = lines.v[y].s; *p != '\0'; p++) {
    251   1.9    rillig 			if (ch_islower(*p))
    252   1.9    rillig 				*p = (char)('a' + key[*p - 'a']);
    253   1.9    rillig 			if (ch_isupper(*p))
    254   1.9    rillig 				*p = (char)('A' + key[*p - 'A']);
    255   1.4    rillig 		}
    256   1.4    rillig 	}
    257   1.4    rillig }
    258   1.4    rillig 
    259   1.6    rillig static bool
    260   1.9    rillig substitute(char ch)
    261   1.4    rillig {
    262  1.10    rillig 	assert(cursor_x >= 0 && cursor_x < extent_x);
    263  1.10    rillig 	assert(cursor_y >= 0 && cursor_y < extent_y);
    264  1.10    rillig 	if (cursor_x >= cur_max_x()) {
    265   1.4    rillig 		beep();
    266   1.6    rillig 		return false;
    267   1.4    rillig 	}
    268   1.4    rillig 
    269  1.10    rillig 	char och = lines.v[cursor_y].s[cursor_x];
    270   1.8    rillig 	if (!ch_isalpha(och)) {
    271   1.4    rillig 		beep();
    272   1.6    rillig 		return false;
    273   1.4    rillig 	}
    274   1.4    rillig 
    275   1.8    rillig 	char loch = ch_tolower(och);
    276   1.8    rillig 	char uoch = ch_toupper(och);
    277   1.8    rillig 	char lch = ch_tolower(ch);
    278   1.8    rillig 	char uch = ch_toupper(ch);
    279   1.4    rillig 
    280   1.9    rillig 	for (int y = 0; y < (int)lines.num; y++) {
    281  1.10    rillig 		for (char *p = lines.v[y].s; *p != '\0'; p++) {
    282   1.9    rillig 			if (*p == loch)
    283   1.9    rillig 				*p = lch;
    284   1.9    rillig 			else if (*p == uoch)
    285   1.9    rillig 				*p = uch;
    286   1.9    rillig 			else if (*p == lch)
    287   1.9    rillig 				*p = loch;
    288   1.9    rillig 			else if (*p == uch)
    289   1.9    rillig 				*p = uoch;
    290   1.4    rillig 		}
    291   1.4    rillig 	}
    292   1.6    rillig 	return true;
    293   1.1  dholland }
    294   1.1  dholland 
    295   1.1  dholland ////////////////////////////////////////////////////////////
    296   1.1  dholland 
    297  1.10    rillig static bool
    298  1.10    rillig is_solved(void)
    299  1.10    rillig {
    300  1.10    rillig 	for (size_t i = 0; i < lines.num; i++)
    301  1.10    rillig 		if (strcmp(lines.v[i].s, sollines.v[i].s) != 0)
    302  1.10    rillig 			return false;
    303  1.10    rillig 	return true;
    304  1.10    rillig }
    305  1.10    rillig 
    306   1.4    rillig static void
    307   1.4    rillig redraw(void)
    308   1.4    rillig {
    309   1.4    rillig 	erase();
    310  1.10    rillig 
    311  1.10    rillig 	int max_y = imin(LINES - 1, extent_y - offset_y);
    312  1.10    rillig 	for (int y = 0; y < max_y; y++) {
    313  1.10    rillig 		move(y, 0);
    314  1.10    rillig 
    315  1.10    rillig 		int len = (int)lines.v[offset_y + y].len;
    316  1.10    rillig 		int max_x = imin(COLS - 1, len - offset_x);
    317  1.10    rillig 		const char *line = lines.v[offset_y + y].s;
    318  1.10    rillig 		const char *solline = sollines.v[offset_y + y].s;
    319  1.10    rillig 
    320  1.10    rillig 		for (int x = 0; x < max_x; x++) {
    321  1.10    rillig 			char ch = line[offset_x + x];
    322  1.10    rillig 			bool bold = hinting &&
    323  1.10    rillig 			    ch == solline[offset_x + x] &&
    324  1.10    rillig 			    ch_isalpha(ch);
    325  1.10    rillig 
    326  1.10    rillig 			if (bold)
    327  1.10    rillig 				attron(A_BOLD);
    328  1.10    rillig 			addch(ch);
    329  1.10    rillig 			if (bold)
    330  1.10    rillig 				attroff(A_BOLD);
    331   1.4    rillig 		}
    332   1.4    rillig 		clrtoeol();
    333   1.4    rillig 	}
    334   1.4    rillig 
    335   1.4    rillig 	move(LINES - 1, 0);
    336  1.10    rillig 	if (is_solved())
    337   1.4    rillig 		addstr("*solved* ");
    338   1.4    rillig 	addstr("~ to quit, * to cheat, ^pnfb to move");
    339   1.4    rillig 
    340  1.10    rillig 	move(cursor_y - offset_y, cursor_x - offset_x);
    341   1.4    rillig 
    342   1.4    rillig 	refresh();
    343   1.4    rillig }
    344   1.4    rillig 
    345   1.4    rillig static void
    346   1.4    rillig opencurses(void)
    347   1.4    rillig {
    348   1.4    rillig 	initscr();
    349   1.4    rillig 	cbreak();
    350   1.4    rillig 	noecho();
    351  1.10    rillig 	keypad(stdscr, true);
    352   1.4    rillig }
    353   1.4    rillig 
    354   1.4    rillig static void
    355   1.4    rillig closecurses(void)
    356   1.4    rillig {
    357   1.4    rillig 	endwin();
    358   1.1  dholland }
    359   1.1  dholland 
    360   1.1  dholland ////////////////////////////////////////////////////////////
    361   1.1  dholland 
    362   1.4    rillig static void
    363  1.10    rillig saturate_cursor(void)
    364  1.10    rillig {
    365  1.11    rillig 	cursor_y = imax(cursor_y, 0);
    366  1.11    rillig 	cursor_y = imin(cursor_y, cur_max_y());
    367  1.10    rillig 
    368  1.10    rillig 	assert(cursor_x >= 0);
    369  1.10    rillig 	cursor_x = imin(cursor_x, cur_max_x());
    370  1.10    rillig }
    371  1.10    rillig 
    372  1.10    rillig static void
    373  1.10    rillig scroll_into_view(void)
    374  1.10    rillig {
    375  1.10    rillig 	if (cursor_x < offset_x)
    376  1.10    rillig 		offset_x = cursor_x;
    377  1.10    rillig 	if (cursor_x > offset_x + COLS - 1)
    378  1.10    rillig 		offset_x = cursor_x - (COLS - 1);
    379  1.10    rillig 
    380  1.10    rillig 	if (cursor_y < offset_y)
    381  1.10    rillig 		offset_y = cursor_y;
    382  1.10    rillig 	if (cursor_y > offset_y + LINES - 2)
    383  1.10    rillig 		offset_y = cursor_y - (LINES - 2);
    384  1.10    rillig }
    385  1.10    rillig 
    386  1.10    rillig static void
    387  1.10    rillig handle_char_input(int ch)
    388   1.4    rillig {
    389  1.10    rillig 	if (isascii(ch) && ch_isalpha((char)ch)) {
    390  1.10    rillig 		if (substitute((char)ch)) {
    391  1.10    rillig 			if (cursor_x < cur_max_x())
    392  1.10    rillig 				cursor_x++;
    393  1.10    rillig 			if (cursor_x == cur_max_x() &&
    394  1.10    rillig 			    cursor_y < cur_max_y()) {
    395  1.10    rillig 				cursor_x = 0;
    396  1.10    rillig 				cursor_y++;
    397   1.4    rillig 			}
    398   1.4    rillig 		}
    399  1.10    rillig 	} else if (cursor_x < cur_max_x() &&
    400  1.10    rillig 	    ch == lines.v[cursor_y].s[cursor_x]) {
    401  1.10    rillig 		cursor_x++;
    402  1.10    rillig 		if (cursor_x == cur_max_x() &&
    403  1.10    rillig 		    cursor_y < cur_max_y()) {
    404  1.10    rillig 			cursor_x = 0;
    405  1.10    rillig 			cursor_y++;
    406  1.10    rillig 		}
    407  1.10    rillig 	} else {
    408  1.10    rillig 		beep();
    409   1.4    rillig 	}
    410   1.1  dholland }
    411   1.1  dholland 
    412  1.10    rillig static bool
    413  1.10    rillig handle_key(void)
    414  1.10    rillig {
    415  1.10    rillig 	int ch = getch();
    416  1.10    rillig 
    417  1.10    rillig 	switch (ch) {
    418  1.10    rillig 	case 1:			/* ^A */
    419  1.10    rillig 	case KEY_HOME:
    420  1.10    rillig 		cursor_x = 0;
    421  1.10    rillig 		break;
    422  1.10    rillig 	case 2:			/* ^B */
    423  1.10    rillig 	case KEY_LEFT:
    424  1.10    rillig 		if (cursor_x > 0) {
    425  1.10    rillig 			cursor_x--;
    426  1.10    rillig 		} else if (cursor_y > 0) {
    427  1.10    rillig 			cursor_y--;
    428  1.10    rillig 			cursor_x = cur_max_x();
    429  1.10    rillig 		}
    430  1.10    rillig 		break;
    431  1.10    rillig 	case 5:			/* ^E */
    432  1.10    rillig 	case KEY_END:
    433  1.10    rillig 		cursor_x = cur_max_x();
    434  1.10    rillig 		break;
    435  1.10    rillig 	case 6:			/* ^F */
    436  1.10    rillig 	case KEY_RIGHT:
    437  1.10    rillig 		if (cursor_x < cur_max_x()) {
    438  1.10    rillig 			cursor_x++;
    439  1.10    rillig 		} else if (cursor_y < cur_max_y()) {
    440  1.10    rillig 			cursor_y++;
    441  1.10    rillig 			cursor_x = 0;
    442  1.10    rillig 		}
    443  1.10    rillig 		break;
    444  1.10    rillig 	case 12:		/* ^L */
    445  1.10    rillig 		clear();
    446  1.10    rillig 		break;
    447  1.10    rillig 	case 14:		/* ^N */
    448  1.10    rillig 	case KEY_DOWN:
    449  1.11    rillig 		cursor_y++;
    450  1.10    rillig 		break;
    451  1.10    rillig 	case 16:		/* ^P */
    452  1.10    rillig 	case KEY_UP:
    453  1.11    rillig 		cursor_y--;
    454  1.11    rillig 		break;
    455  1.11    rillig 	case KEY_PPAGE:
    456  1.11    rillig 		cursor_y -= LINES - 2;
    457  1.11    rillig 		break;
    458  1.11    rillig 	case KEY_NPAGE:
    459  1.11    rillig 		cursor_y += LINES - 2;
    460  1.10    rillig 		break;
    461  1.10    rillig 	case '*':
    462  1.10    rillig 		hinting = !hinting;
    463  1.10    rillig 		break;
    464  1.10    rillig 	case '~':
    465  1.10    rillig 		return false;
    466  1.10    rillig 	default:
    467  1.10    rillig 		handle_char_input(ch);
    468  1.10    rillig 		break;
    469  1.10    rillig 	}
    470  1.10    rillig 	return true;
    471  1.10    rillig }
    472   1.1  dholland 
    473  1.10    rillig static void
    474  1.10    rillig init(void)
    475   1.4    rillig {
    476   1.4    rillig 	stringarray_init(&lines);
    477   1.4    rillig 	stringarray_init(&sollines);
    478   1.9    rillig 	srandom((unsigned int)time(NULL));
    479   1.4    rillig 	readquote();
    480   1.4    rillig 	encode();
    481   1.4    rillig 	opencurses();
    482  1.10    rillig }
    483   1.4    rillig 
    484  1.10    rillig static void
    485  1.10    rillig loop(void)
    486  1.10    rillig {
    487  1.10    rillig 	for (;;) {
    488  1.10    rillig 		redraw();
    489  1.10    rillig 		if (!handle_key())
    490  1.10    rillig 			break;
    491  1.10    rillig 		saturate_cursor();
    492  1.10    rillig 		scroll_into_view();
    493  1.10    rillig 	}
    494  1.10    rillig }
    495   1.4    rillig 
    496  1.10    rillig static void
    497  1.10    rillig clean_up(void)
    498  1.10    rillig {
    499   1.4    rillig 	closecurses();
    500   1.4    rillig 	stringarray_cleanup(&sollines);
    501   1.4    rillig 	stringarray_cleanup(&lines);
    502   1.1  dholland }
    503  1.10    rillig 
    504  1.10    rillig ////////////////////////////////////////////////////////////
    505  1.10    rillig 
    506  1.10    rillig int
    507  1.10    rillig main(void)
    508  1.10    rillig {
    509  1.10    rillig 	init();
    510  1.10    rillig 	loop();
    511  1.10    rillig 	clean_up();
    512  1.10    rillig }
    513