{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// start. (This is slightly simpler and faster than allocating upwards,
    /// The allocation proceeds downwards from the end of the chunk towards the
    /// see <https://fitzgeraldnick.com/2019/11/01/always-bump-downwards.html>.)