{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// however we pack them in a single pointer, to save space.
    /// We pack the tag into the **most**-significant bits of the pointer to