Before revision: Examples In a fail-stop language, it is which means that the code :
After revision: Examples In many widely used programming languages the code below might reduce the bank account value if the deposited amount is very large.