{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // unless all chars are lowercase, we do a case sensitive search
        };
        let case_sensitive = s.chars().any(|c| c.is_uppercase());