panic "__dtrace_probe$picotls$client_random$v1$7374727563742073745f70746c735f74202a$766f6964202a" is not a valid Ident

[dignifiedquire]

Trying to transpile picoquic I am getting this panic

thread 'main' panicked at /Users/dignified/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/c2rust-ast-builder-0.20.0/src/builder.rs:171:9:
"__dtrace_probe$picotls$client_random$v1$7374727563742073745f70746c735f74202a$766f6964202a" is not a valid Ident
stack backtrace:
   0: _rust_begin_unwind
   1: core::panicking::panic_fmt
   2: proc_macro2::fallback::validate_ident
   3: proc_macro2::Ident::new
   4: c2rust_ast_builder::builder::Builder::fn_decl
   5: c2rust_transpile::translator::Translation::convert_function
   6: c2rust_transpile::translator::Translation::convert_decl
   7: c2rust_transpile::translator::translate
   8: c2rust_transpile::transpile_single
   9: <alloc::vec::Vec<T> as alloc::vec::spec_from_iter::SpecFromIter<T,I>>::from_iter
  10: c2rust_transpile::transpile
  11: c2rust_transpile::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

To reproduce

• clone https://github.com/private-octopus/picoquic
• run cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 -DPICOQUIC_FETCH_PTLS=Y .
• run c2rust transpile -e compile_commands.json

currently running on

• macos 15.1 on an M3
• rust 1.85
• llvm 19.1.7