{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"(CastTy::Ptr(src,"}]}
            (CastTy::Ptr(src, _), CastTy::Int(_)) => self.check_ptr_addr_cast(table, &src),
            }
            (CastTy::Int(_), CastTy::Ptr(dst, _)) => self.check_addr_ptr_cast(table, &dst),