to be determined, how hard it would be to provide an automatic rewrite? or is the approach here too different? perhaps even a best-effort rewrite would be useful, with a bit of documentation on what it can't be expected to get right?