A discipline of error handling [pdf]