#include "options.h"

int check_user_conf_dir(void);

char *get_user_key_binding_filename(void);

int read_configuration(void);