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