{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"\"s390x\""}]}
        "s390x" => emit_s390x_va_arg(bx, addr, target_ty),
        "aarch64" => emit_aapcs_va_arg(bx, addr, target_ty),
        "powerpc" => emit_powerpc_va_arg(bx, addr, target_ty),