Tharre

This won't be trivial, as redo depends on a lot of POSIX features like the shell. But it's not impossible either.