It is a difficult task to produce software that is guaranteed never to fail, but it is a vital go...