{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//!"}]}
//! If file locking does not work reliably (like on NFS), some of the
//! actually has to be copied at the beginning of each session.
//! synchronization will go haywire.