{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // deserialized 'lo' and 'hi' values directly.
            // All of this logic ensures that the final result of deserialization is a 'normal'