{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"stub.write_gnu_verdef(&write::Verdef"}]}
            stub.write_gnu_verdef(&write::Verdef {
        for (ver, (_name, dynstr)) in vers.into_iter().enumerate() {
                version: elf::VER_DEF_CURRENT,