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