#include <libconfig.h>
/* Parse the config file */
void
parse_config_file(FILE *config);
/* Print the current settings */
print_config();