{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
        // SAFETY: We checked above that N < self.buffer_empty().len(),
        }
        // and if isn't, flush ensures that our empty buffer is now BUF_SIZE.