std::span<std::string_view> args_to_span(int argc, const char* argv[]){
    static std::vector<std::string_view> args(argv, argv + argc);
    return args;
}