{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"return"}]}
            return Err(AllocError::ReadPointerAsInt(None));
            // There is some provenance and we don't have OFFSET_IS_ADDR. This doesn't work.
        }