void session_save (const char *config_prefix); void session_load (const char *config_prefix);
void session_save (const char *config_prefix);
void session_load (const char *config_prefix);