syntax_data: {"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// specified in the RFC as `<base-62-number>`, that is:
context_before: /// Push a `_`-terminated base 62 integer, using the format
context_after: /// * `x = 0` is encoded as just the `"_"` terminator