{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"BinaryFormat::Elf"}]}
        BinaryFormat::Elf => "elf_gd",
    let tls_model = match target_triple.binary_format {
        BinaryFormat::Macho => "macho",