Make it clear halt does not return
Implement FormatWriter for StdioWriter

Now we can finally print the error message of begin_unwind