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