Suppose you are debugging a banking program, for example, where the account balance is never allowed to go below zero.

• 例如调试一个银行程序,其中的帐户余额不允许小于零。