{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            self.finished = false;
        let flush_threshold = const { BUF_SIZE.checked_sub(N).unwrap() };