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