void *open_settings_r(char *sessionname)
void *open_settings_r(const char *sessionname)
void *open_settings_r(char *sessionname){    static int thing_to_return_an_arbitrary_non_null_pointer_to;    return &thing_to_return_an_arbitrary_non_null_pointer_to;}