{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // it as 0.0, which is again too low/conservative.
        // Currently, we lie about the SDK version, and choose the second option.