{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// contains, besides the *address* also a *provenance*, indicating what
    /// Casting an integer to a pointer is considered bad style, as a pointer
    /// memory the pointer is allowed to read/write. Casting an integer, which