new file:   atm_repay_bug.py