{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // Encode length which is usually less than span.hi and profits more
        // from the variable-length integer encoding that we use.