{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // even long after process exit, causing nasty, non-reproducible output bugs.
        // File::sync_all() calls FlushFileBuffers() down the line, which solves the problem.