{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//!"}]}
//! actually has to be copied at the beginning of each session.
//! If hard linking is not available (like on FAT) the data in the cache
//! If file locking does not work reliably (like on NFS), some of the