Consider this pseudocode for a bank account supporting concurrent access. Assume that Lock is a valid locking class, although it is not in Java. Since Lock is not reentrant, the code below is broken. Assuming Lock is not reentrant, give an example where the withdraw method would block forever. Refer to locks using the commented operation number.