{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"ReadPointerAsInt(info)"}]}
            ReadPointerAsInt(info) => InterpErrorKind::Unsupported(
            }
                UnsupportedOpInfo::ReadPointerAsInt(info.map(|b| (alloc_id, b))),