{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        (arg_argc, arg_argv)
        // The Rust start function doesn't need `argc` and `argv`, so just pass zeros.