{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"self.check_ptr_addr_cast(fcx,"}]}
                self.check_ptr_addr_cast(fcx, m_expr)
                self.lossy_provenance_ptr2int_lint(fcx, t_c);
            }