char answerback[256];
char printer[128];
/* Colour options */
+ int system_colour;
int try_palette;
int bold_colour;
unsigned char colours[22][3];
const char *filename_to_str(const Filename *fn);
int filename_equal(Filename f1, Filename f2);
int filename_is_null(Filename fn);
+char *get_username(void); /* return value needs freeing */
#endif