{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"self.check_addr_ptr_cast(fcx,"}]}
                self.check_addr_ptr_cast(fcx, mt)
                self.fuzzy_provenance_int2ptr_lint(fcx);
            }