Attempt to fix REWRITES_CONV; the attempt didn't work because of some type inference issues due to the way the original raises exceptions.