{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
/// <https://rust-lang.github.io/rfcs/2603-rust-symbol-name-mangling-v0.html>).
/// Converts a number to a disambiguator (see
fn to_disambiguator(num: u64) -> String {