my $all_prefs = retrieve('preferences.sto');
my $default_prefs = $all_prefs->{default};
my $user_prefs = $all_prefs->{userX};