{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"addr:"}]}
        addr: u64,
    DanglingIntPointer {
        /// The size of the memory range that was expected to be in-bounds (or 0 if we need an