{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"session_directories.insert(entry_name.to_string());"}]}
            session_directories.insert(entry_name.to_string());
        } else if is_session_directory(&entry_name) {
        } else {