{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":".to_str()"}]}
        .to_str()
        .unwrap()
        .expect("malformed session dir name: contains non-Unicode characters")