https://github.com/makslevental approved this pull request. LGTM modulo small nit. Pretty cool btw - I guess now we can drive rewriter from whatever language has C FFI (which I've gotten asked about numerous times...) https://github.com/llvm/llvm-project/pull/98962