{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"(Ptr(m_expr),"}]}
            (Ptr(m_expr), Int(t_c)) => {
            // ptr-addr-cast
                self.lossy_provenance_ptr2int_lint(fcx, t_c);