[mike_hock]

> I've been able to formally verify that the Rust behavior is identical to the Postgres C behavior

I thought you wanted to get rid of the bugs!

[pdimitar]

The tongue-in-cheek tone aside, every good rework begins with mostly replicating the old program and only then fixing bugs.

But I've seen brave reworks too. They get my standing ovation when pulled off right.