extern void set_editor_key(void);
extern void define_function_keys(void);
extern int get_key(int, char *);
extern int get_str(int, char *);
extern void null_fnct(int);
extern void handle_function_key(int, int);
