{"ast_node_type":"other","tokens":[{"end":111,"kind":"keyword","start":0,"text":"//"}]}
        //                          12-15 15-16    <-- we shift these by other_size-other_range.len() = 9-4 = 5
        //                             15    16
        // ------------------------------------