{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
                // This is too long, try to save some space.
            if target.len() > provenance_width(ptr_size.bytes_usize() - 1) {
                target = format!("{ptr:#?}");