Comment by Jensson

It is usually more work to verify that code is correct than to write correct code in the first place.

Edit: At least for me it isn't obvious at all that those snippets are correct.