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