The 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, Please help me to provide a detailed example where the withdraw method would block forever. Refer to locks using the commented operation number. class BankAccount { private int balance = 0; private Lock lk = new Lock(); int getBalance() { lk. acquire(); // Operation 1 int ans = balance; lk. release(); // Operation 2 return ans; } void setBalance(int x) { lk. acquire(); // Operation 3 balance = x; lk. release(); // Operation 4 } void withdraw(int amount) { lk. acquire(); // Operation 5 int b = getBalance(); if (amount > b) { lk. release(); // Operation 6 throw new (); } setBalance(b - amount); lk. release(); // Operation 7 }}