{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// as we represent places using the pointer to the place.)
    /// the place to which it points.  (This requires no code to be emitted
    ///