{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"_"}]}
                _ => bug!("unknown RISC-V ABI name"),
                "ilp32e" | "lp64e" => e_flags |= elf::EF_RISCV_RVE,
            }