Select Code to Download

my $default = 0;
my $input_number = $ARGV[0];

my $number = defined $input_number ? $input_number : $default;

my $number = $input_number // $default;

my $default_theme = get_default_theme();
my $global_config = read_config('/path/to/config_file');
...
                    $default_theme                                :

                    'none';

my $theme = $global_config->{modes}{$current_mode}{theme} //
            $theme_config->{current_theme} //
            $default_theme //
            'none';

my $theme = (
              (
...
            )
            //
            'none';