{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"(arg_argc,"}]}
        (arg_argc, arg_argv)
        bx.store(param_system_table, arg_argv_el1, ptr_align);
    } else if bx.cx().sess().target.main_needs_argc_argv {