{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"}"}]}
                            } else {
                                OperandValue::Pair(data_ptr, meta)
                                // Cast of wide-ptr to thin-ptr is an extraction of data-ptr.