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